BibTeX
@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}
}
Copyright © 2007-09-03 by Michael Ley (ley@uni-trier.de)