%0 Conference Paper %1 conf/date/DasBDC06 %A Das, Sayantan %A Basu, Prasenjit %A Dasgupta, Pallab %A Chakrabarti, P. P. %B DATE %D 2006 %E Gielen, Georges G. E. %I European Design and Automation Association, Leuven, Belgium %K dblp %P 1217-1222 %T What lies between design intent coverage and model checking? %U http://dblp.uni-trier.de/db/conf/date/date2006p.html#DasBDC06 %@ 3-9810801-1-4

@inproceedings{conf/date/DasBDC06, added-at = {2024-02-29T00:00:00.000+0100}, author = {Das, Sayantan and Basu, Prasenjit and Dasgupta, Pallab and Chakrabarti, P. P.}, biburl = {https://www.bibsonomy.org/bibtex/29f45ff61a9b9ee4ca102f405c131d097/dblp}, booktitle = {DATE}, crossref = {conf/date/2006p}, editor = {Gielen, Georges G. E.}, ee = {http://dl.acm.org/citation.cfm?id=1131817}, interhash = {9c15cce2a18d8235c67dc7456dc0a00f}, intrahash = {9f45ff61a9b9ee4ca102f405c131d097}, isbn = {3-9810801-1-4}, keywords = {dblp}, pages = {1217-1222}, publisher = {European Design and Automation Association, Leuven, Belgium}, timestamp = {2024-04-10T08:46:50.000+0200}, title = {What lies between design intent coverage and model checking?}, url = {http://dblp.uni-trier.de/db/conf/date/date2006p.html#DasBDC06}, year = 2006 }