Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/date/VenkateshSKA14
%A Venkatesh, R.
%A Shrotri, Ulka
%A Krishna, G. Murali
%A Agrawal, Supriya
%B DATE
%D 2014
%E Fettweis, Gerhard P.
%E Nebel, Wolfgang
%I European Design and Automation Association
%K dblp
%P 1-6
%T EDT: A specification notation for reactive systems.
%U http://dblp.uni-trier.de/db/conf/date/date2014.html#VenkateshSKA14
%@ 978-3-9815370-2-4
@inproceedings{conf/date/VenkateshSKA14,
added-at = {2020-11-19T00:00:00.000+0100},
author = {Venkatesh, R. and Shrotri, Ulka and Krishna, G. Murali and Agrawal, Supriya},
biburl = {https://www.bibsonomy.org/bibtex/2d5ef9c2f794302d38a3f5a2ea7beac5e/dblp},
booktitle = {DATE},
crossref = {conf/date/2014},
editor = {Fettweis, Gerhard P. and Nebel, Wolfgang},
ee = {http://dl.acm.org/citation.cfm?id=2616870},
interhash = {05408df91978de0c4822e85a19bc0c44},
intrahash = {d5ef9c2f794302d38a3f5a2ea7beac5e},
isbn = {978-3-9815370-2-4},
keywords = {dblp},
pages = {1-6},
publisher = {European Design and Automation Association},
timestamp = {2020-11-20T11:37:42.000+0100},
title = {EDT: A specification notation for reactive systems.},
url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#VenkateshSKA14},
year = 2014
}