| |
Rachel Tzoref-Brill
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 1 |       | Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer: An Optimized Symbolic Bounded Model Checking Engine. CHARME 2003: 141-149 |
Selection of 1 from 8 records - Rachel Tzoref has 16 coauthors
Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)