%0 Conference Paper %1 conf/spin/CampanaCNR11 %A Campana, Daniele %A Cimatti, Alessandro %A Narasamdya, Iman %A Roveri, Marco %B SPIN %D 2011 %E Groce, Alex %E Musuvathi, Madanlal %I Springer %K dblp %P 90-107 %T An Analytic Evaluation of SystemC Encodings in Promela. %U http://dblp.uni-trier.de/db/conf/spin/spin2011.html#CampanaCNR11 %V 6823 %@ 978-3-642-22305-1

@inproceedings{conf/spin/CampanaCNR11, added-at = {2019-06-02T00:00:00.000+0200}, author = {Campana, Daniele and Cimatti, Alessandro and Narasamdya, Iman and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/227d54312db86a7d0cafb3929f255cff9/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2011}, editor = {Groce, Alex and Musuvathi, Madanlal}, ee = {https://www.wikidata.org/entity/Q62041211}, interhash = {309ac85cfdf978178921f64bdc198440}, intrahash = {27d54312db86a7d0cafb3929f255cff9}, isbn = {978-3-642-22305-1}, keywords = {dblp}, pages = {90-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:11:35.000+0200}, title = {An Analytic Evaluation of SystemC Encodings in Promela.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2011.html#CampanaCNR11}, volume = 6823, year = 2011 }