%0 Conference Paper %1 conf/iccad/CabodiCM08 %A Cabodi, Gianpiero %A Camurati, Paolo %A Murciano, Marco %B ICCAD %D 2008 %E Nassif, Sani R. %E Roychowdhury, Jaijeet S. %I IEEE Computer Society %K dblp %P 129-136 %T Automated abstraction by incremental refinement in interpolant-based model checking. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2008.html#CabodiCM08 %@ 978-1-4244-2820-5

@inproceedings{conf/iccad/CabodiCM08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Cabodi, Gianpiero and Camurati, Paolo and Murciano, Marco}, biburl = {https://www.bibsonomy.org/bibtex/26cb60b41070b3603d393d97d8094d11f/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2008}, editor = {Nassif, Sani R. and Roychowdhury, Jaijeet S.}, ee = {https://dl.acm.org/citation.cfm?id=1509495}, interhash = {765c3f094096f004cd1707724e799741}, intrahash = {6cb60b41070b3603d393d97d8094d11f}, isbn = {978-1-4244-2820-5}, keywords = {dblp}, pages = {129-136}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:54:13.000+0200}, title = {Automated abstraction by incremental refinement in interpolant-based model checking.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2008.html#CabodiCM08}, year = 2008 }