2. MEMOCODE 2004:
San Diego,
California,
USA
2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings.
IEEE 2004 BibTeX
Keynote Talk I
Model Checking
Modeling Languages
Tutorial
Synthesis
Keynote Talk II
Formal Verification
Panel
Keynote Talk III
Simulation and Testing
Compositional Verification
Copyright © Sat May 16 23:29:28 2009
by Michael Ley (ley@uni-trier.de)