Martin Baynes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

	1994
1		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. DAC 1994: 320

Coauthor Index

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Ronald Collett	[1]
2	Michel Courtoy	[1]
3	Mike Gianfagna	[1]
4	Johan Van Ginderdeuren	[1]
5	Kenneth L. McMillan	[1]
6	Stephen Ricca	[1]
7	Alberto L. Sangiovanni-Vincentelli	[1]
8	Steve Sapiro	[1]
9	Naeem Zafar	[1]