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

Isabelle Munn

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

2001
3EEAmjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman: High quality behavioral verification using statistical stopping criteria. DATE 2001: 411-419
2EEAmjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman: Stopping Criteria Comparison: Towards High Quality Behavioral Verification. ISQED 2001: 31-37
1999
1 Tom Chen, Isabelle Munn, Anneliese von Mayrhauser, Amjad Hajjar: Efficient Verification of Behavioral Models Using Sequential Sampling Technique. VLSI 1999: 398-406

Coauthor Index

1Anneliese Amschler Andrews (Anneliese von Mayrhauser) [1] [2] [3]
2Maria Bjorkman [2] [3]
3Tom Chen [1] [2] [3]
4Amjad Hajjar [1] [2] [3]

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