Meuse N. Nogueira Jr.

List of publications from the DBLP Bibliography Server - FAQ

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)

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)

Coauthor Index

1	Leonardo Amorim	[1]
2	Raimundo S. Barreto	[1]
3	Paulo Romero Martins Maciel	[1]
4	Eduardo Antonio Guimarães Tavares (Eduardo Tavares)	[1]