| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda: VeriAgent: an Approach to Integrating UML and Formal Verification Tools. Electr. Notes Theor. Comput. Sci. 95: 111-129 (2004) |
Selection of 1 from 6 records - Edjard Mota has 9 coauthors
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)