Mark Matusevich

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

1 Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer: An Optimized Symbolic Bounded Model Checking Engine. CHARME 2003: 141-149

	2003
1		Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer: An Optimized Symbolic Bounded Model Checking Engine. CHARME 2003: 141-149

Coauthor Index

1	Ilan Beer	[1]
2	Eli Berger	[1]
3	Rachel Tzoref (Rachel Tzoref-Brill)	[1]