| |
Mihaela Gheorghiu
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 9 |       | Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer: Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods in System Design 32(3): 175-205 (2008) |
Selection of 1 from 10 records - Mihaela Gheorghiu Bobaru has 8 coauthors
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)