Original language | English |
---|---|
Title of host publication | Proceedings of the 47th Design Automation Conference, DAC 2010 |
Place of Publication | New York |
Publisher | ACM |
Pages | 182-187 |
Number of pages | 6 |
Volume | N/A |
Edition | N/A |
ISBN (Print) | 9781450300025 |
DOIs | |
Publication status | Published - 2010 |
Coverage in interpolation-based model checking
Hana Chockler, Daniel Kroening, Mitra Purandare
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
12
Citations
(Scopus)