%0 Conference Paper %1 conf/iccad/DasBBDCMFA04 %A Das, Sayantan %A Basu, Prasenjit %A Banerjee, Ansuman %A Dasgupta, Pallab %A Chakrabarti, P. P. %A Mohan, Chunduri Rama %A Fix, Limor %A Armoni, Roy %B ICCAD %D 2004 %I IEEE Computer Society / ACM %K dblp %P 198-203 %T Formal verification coverage: computing the coverage gap between temporal specifications. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2004.html#DasBBDCMFA04 %@ 0-7803-8702-3

@inproceedings{conf/iccad/DasBBDCMFA04, added-at = {2024-02-29T00:00:00.000+0100}, author = {Das, Sayantan and Basu, Prasenjit and Banerjee, Ansuman and Dasgupta, Pallab and Chakrabarti, P. P. and Mohan, Chunduri Rama and Fix, Limor and Armoni, Roy}, biburl = {https://www.bibsonomy.org/bibtex/29c97649665ce40bffc8cef43143f87d5/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2004}, ee = {https://dl.acm.org/citation.cfm?id=1112276}, interhash = {75dcb5cffe913e6d7c7ca4453f9240a3}, intrahash = {9c97649665ce40bffc8cef43143f87d5}, isbn = {0-7803-8702-3}, keywords = {dblp}, pages = {198-203}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T17:55:04.000+0200}, title = {Formal verification coverage: computing the coverage gap between temporal specifications.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2004.html#DasBBDCMFA04}, year = 2004 }