%0 Conference Paper %1 conf/cav/CimattiGMNR11 %A Cimatti, Alessandro %A Griggio, Alberto %A Micheli, Andrea %A Narasamdya, Iman %A Roveri, Marco %B CAV %D 2011 %E Gopalakrishnan, Ganesh %E Qadeer, Shaz %I Springer %K %P 310-316 %T Kratos - A Software Model Checker for SystemC. %U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#CimattiGMNR11 %V 6806 %@ 978-3-642-22109-5

@inproceedings{conf/cav/CimattiGMNR11, added-at = {2023-12-13T03:21:07.000+0100}, author = {Cimatti, Alessandro and Griggio, Alberto and Micheli, Andrea and Narasamdya, Iman and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2e73a357535ae7b33a4bf415041aa4ccc/admin}, booktitle = {CAV}, crossref = {conf/cav/2011}, editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz}, ee = {https://www.wikidata.org/entity/Q62041228}, interhash = {8a792a6c1f24ad2805489c8c2ec6c8f6}, intrahash = {e73a357535ae7b33a4bf415041aa4ccc}, isbn = {978-3-642-22109-5}, keywords = {}, pages = {310-316}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:21:07.000+0100}, title = {Kratos - A Software Model Checker for SystemC.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#CimattiGMNR11}, volume = 6806, year = 2011 }