| |
| 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 | |
| 1 | Celina P. Leão | [1] |
| 2 | José Machado | [1] |
| 3 | Eurico Seabra | [1] |
| 4 | Filomena O. Soares | [1] |