Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar. Panel: Complex System Verification: The Challenge Ahead. In DAC. pages 320, 1994. [doi]
@inproceedings{CollettGCBGMRSSZ94,
title = {Panel: Complex System Verification: The Challenge Ahead},
author = {Ronald Collett and Mike Gianfagna and Michel Courtoy and Martin Baynes and Johan Van Ginderdeuren and Kenneth L. McMillan and Stephen Ricca and Alberto L. Sangiovanni-Vincentelli and Steve Sapiro and Naeem Zafar},
year = {1994},
doi = {10.1145/196244.196394},
url = {http://doi.acm.org/10.1145/196244.196394},
researchr = {https://researchr.org/publication/CollettGCBGMRSSZ94},
cites = {0},
citedby = {0},
pages = {320},
booktitle = {DAC},
}