2006 | ||
---|---|---|
1 | EE | Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares: Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Software Engineering Notes 31(3): 1-25 (2006) |
1 | Leonardo Amorim | [1] |
2 | Raimundo S. Barreto | [1] |
3 | Paulo Romero Martins Maciel | [1] |
4 | Eduardo Antonio Guimarães Tavares (Eduardo Tavares) | [1] |