Elthon A. S. Oliveira

	2007
3		Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva: Formal modelling and verification of a component model using coloured petri nets and model checking. SAC 2007: 1427-1431
2		Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira: A Java code annotation approach for model checking software systems. SAC 2007: 1536-1537
	2005
1		Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues: Testing from Structured Algebraic Specifications: The Veritas Case Study. Electr. Notes Theor. Comput. Sci. 130: 235-261 (2005)

Coauthor Index

1	Hyggo Oliveira de Almeida	[3]
2	Paulo E. S. Barbosa	[1]
3	Glauber Ferreira	[2]
4	Emerson Loureiro	[2]
5	Patrícia D. L. Machado	[1]
6	Cássio L. Rodrigues	[1]
7	Leandro Dias da Silva	[3]

Colors in the list of coauthors