Publications

DBLP:conf/cav/CimattiG12

Summary

Alessandro Cimatti and Alberto Griggio (2012) Software Model Checking via IC3. In CAV., pages 277-293. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/cav/CimattiG12,
    AUTHOR = { Alessandro Cimatti and Alberto Griggio },
    TITLE = { Software Model Checking via IC3 },
    BOOKTITLE = { CAV },
    YEAR = { 2012 },
    PAGES = { 277-293 },
    EE = { http://dx.doi.org/10.1007/978-3-642-31424-7_23 },
    CROSSREF = { DBLP:conf/cav/2012 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}