![]() | ![]() |
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] |