![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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
Copyright © 2010-01-06 by Michael Ley (ley@uni-trier.de)