%0 Conference Paper %1 conf/tacas/CimattiNR11 %A Cimatti, Alessandro %A Narasamdya, Iman %A Roveri, Marco %B TACAS %D 2011 %E Abdulla, Parosh Aziz %E Leino, K. Rustan M. %I Springer %K dblp %P 341-356 %T Boosting Lazy Abstraction for SystemC with Partial Order Reduction. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2011.html#CimattiNR11 %V 6605 %@ 978-3-642-19834-2

@inproceedings{conf/tacas/CimattiNR11, added-at = {2019-06-02T00:00:00.000+0200}, author = {Cimatti, Alessandro and Narasamdya, Iman and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/20c30dc87c01748bb2981efef169566bb/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2011}, editor = {Abdulla, Parosh Aziz and Leino, K. Rustan M.}, ee = {https://www.wikidata.org/entity/Q62041214}, interhash = {cc1bd3cf823fe93ee8b3e1e12c5a5448}, intrahash = {0c30dc87c01748bb2981efef169566bb}, isbn = {978-3-642-19834-2}, keywords = {dblp}, pages = {341-356}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:36:41.000+0200}, title = {Boosting Lazy Abstraction for SystemC with Partial Order Reduction.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2011.html#CimattiNR11}, volume = 6605, year = 2011 }