%0 Conference Paper %1 conf/dac/CollettGCBGMRSSZ94 %A Collett, Ronald %A Gianfagna, Mike %A Courtoy, Michel %A Baynes, Martin %A Ginderdeuren, Johan Van %A McMillan, Kenneth L. %A Ricca, Stephen %A Sangiovanni-Vincentelli, Alberto L. %A Sapiro, Steve %A Zafar, Naeem %B DAC %D 1994 %E Lorenzetti, Michael J. %I ACM Press %K dblp %P 320 %T Panel: Complex System Verification: The Challenge Ahead. %U http://dblp.uni-trier.de/db/conf/dac/dac94.html#CollettGCBGMRSSZ94 %@ 0-7803-1836-6

@inproceedings{conf/dac/CollettGCBGMRSSZ94, added-at = {2017-03-16T00:00:00.000+0100}, author = {Collett, Ronald and Gianfagna, Mike and Courtoy, Michel and Baynes, Martin and Ginderdeuren, Johan Van and McMillan, Kenneth L. and Ricca, Stephen and Sangiovanni-Vincentelli, Alberto L. and Sapiro, Steve and Zafar, Naeem}, biburl = {https://www.bibsonomy.org/bibtex/29dc173efd2c9b3dc98f0409ccbca8ebd/dblp}, booktitle = {DAC}, crossref = {conf/dac/1994}, editor = {Lorenzetti, Michael J.}, ee = {http://doi.acm.org/10.1145/196244.196394}, interhash = {ed2bb1acdb49fbb71ee6853b6cc1bbbe}, intrahash = {9dc173efd2c9b3dc98f0409ccbca8ebd}, isbn = {0-7803-1836-6}, keywords = {dblp}, pages = 320, publisher = {ACM Press}, timestamp = {2017-03-17T11:41:18.000+0100}, title = {Panel: Complex System Verification: The Challenge Ahead.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac94.html#CollettGCBGMRSSZ94}, year = 1994 }