| |
| 2003 | ||
|---|---|---|
| 1 | EE | Paulo Mateus, M. Morais, C. Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas: Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308(1-3): 393-427 (2003) |
| 1 | Paulo Mateus | [1] |
| 2 | M. Morais | [1] |
| 3 | António Pacheco | [1] |
| 4 | Amílcar Sernadas | [1] |
| 5 | Cristina Sernadas | [1] |