Mitra Purandare

	2009
4		Mitra Purandare, Thomas Wahl, Daniel Kroening: Strengthening properties using abstraction refinement. DATE 2009: 1692-1697
	2008
3		Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. VMCAI 2008: 68-82
	2003
2		Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi: Dos and don'ts of CTL state coverage estimation. DAC 2003: 292-295
	2002
1		Mitra Purandare, Fabio Somenzi: Vacuum Cleaning CTL Formulae. CAV 2002: 485-499

Coauthor Index

1	Vijay D'Silva	[3]
2	Nikhil Jayakumar	[2]
3	Daniel Kroening (Daniel Kröning)	[3] [4]
4	Fabio Somenzi	[1] [2]
5	Thomas Wahl	[4]

Colors in the list of coauthors