Isabelle Munn

	2001
3		Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman: High quality behavioral verification using statistical stopping criteria. DATE 2001: 411-419
2		Amjad 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

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

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page