Inproceedings,
SCEst: Sequentially constructive esterel.
K. Rathlev, S. Smyth, C. Motika, R. von Hanxleden, and M. Mendler.MEMOCODE, page 10-19. IEEE, (2015)
Meta data
- BibTeX key
- conf/memocode/RathlevSMHM15
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2015
- pages
- 10-19
- publisher
- IEEE
- crossref
- conf/memocode/2015
- ee
- https://doi.org/10.1109/MEMCOD.2015.7340462
- isbn
- 978-1-5090-0237-5
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2015.html#RathlevSMHM15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/RathlevSMHM15
%A Rathlev, Karsten
%A Smyth, Steven
%A Motika, Christian
%A von Hanxleden, Reinhard
%A Mendler, Michael
%B MEMOCODE
%D 2015
%I IEEE
%K
%P 10-19
%T SCEst: Sequentially constructive esterel.
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2015.html#RathlevSMHM15
%@ 978-1-5090-0237-5
@inproceedings{conf/memocode/RathlevSMHM15,
added-at = {2023-12-12T17:59:58.000+0100},
author = {Rathlev, Karsten and Smyth, Steven and Motika, Christian and von Hanxleden, Reinhard and Mendler, Michael},
biburl = {https://www.bibsonomy.org/bibtex/251f339a1fd68c48b69cc8c9004171424/admin},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2015},
ee = {https://doi.org/10.1109/MEMCOD.2015.7340462},
interhash = {0be9d2f5931c801b501cd886bdf659da},
intrahash = {51f339a1fd68c48b69cc8c9004171424},
isbn = {978-1-5090-0237-5},
keywords = {},
pages = {10-19},
publisher = {IEEE},
timestamp = {2023-12-12T17:59:58.000+0100},
title = {SCEst: Sequentially constructive esterel.},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2015.html#RathlevSMHM15},
year = 2015
}