| |
| 2007 | ||
|---|---|---|
| 2 | EE | Óscar R. Ribeiro, João M. Fernandes: Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. SIES 2007: 266-273 |
| 2005 | ||
| 1 | EE | Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto: Model Checking Embedded Systems with PROMELA. ECBS 2005: 378-385 |
| 1 | João M. Fernandes | [1] [2] |
| 2 | Luís F. Pinto | [1] |