dblp.uni-trier.dewww.uni-trier.de

Waleska Oliveira

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
1EEEdjard 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)

Coauthor Index

1Edmund M. Clarke [1]
2Marcia Falcão [1]
3Alex Groce [1]
4Jorge Kanda [1]
5Edjard Mota [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)