Mitra Purandare (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi: Dos and don'ts of CTL state coverage estimation. DAC 2003: 292-295

1 Mitra Purandare, Fabio Somenzi: Vacuum Cleaning CTL Formulae. CAV 2002: 485-499

Selection of 2 from 4 records - Mitra Purandare has 5 coauthors

2		Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi: Dos and don'ts of CTL state coverage estimation. DAC 2003: 292-295
1		Mitra Purandare, Fabio Somenzi: Vacuum Cleaning CTL Formulae. CAV 2002: 485-499