dblp.uni-trier.dewww.uni-trier.de

Johan Van Ginderdeuren

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994
1EERonald 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)