@inproceedings{DBLP:conf/spin/TraulsenCMM07,
author = {Claus Traulsen and
J{\'e}r{\^o}me Cornet and
Matthieu Moy and
Florence Maraninchi},
title = {A SystemC/TLM Semantics in Promelaand Its Possible Applications},
booktitle = {SPIN},
year = {2007},
pages = {204-222},
ee = {http://dx.doi.org/10.1007/978-3-540-73370-6_14},
crossref = {DBLP:conf/spin/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/spin/2007,
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Model Checking Software, 14th International SPIN Workshop,
Berlin, Germany, July 1-3, 2007, Proceedings},
booktitle = {SPIN},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4595},
year = {2007},
isbn = {978-3-540-73369-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-07-25 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page