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

Celina P. Leão

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

2007
1 Eurico Seabra, José Machado, Jaime Ferreira da Silva, Filomena O. Soares, Celina P. Leão: Simulation and formal verification of real time systems: A case study. ICINCO-SPSMC 2007: 308-313

Coauthor Index

1José Machado [1]
2Eurico Seabra [1]
3Jaime Ferreira da Silva [1]
4Filomena O. Soares [1]

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