George Lima

	2009
3		Paul Regnier, George Lima, Aline Maria Santos Andrade: A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electr. Notes Theor. Comput. Sci. 240: 221-238 (2009)
	2008
2		George Lima, Eduardo Camponogara, Ana Carolina Sokolonski: Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS 2008: 115-124
1		Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima: Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electr. Notes Theor. Comput. Sci. 195: 3-20 (2008)

Coauthor Index

1	Aline Maria Santos Andrade	[1] [3]
2	Frederico J. R. Barboza	[1]
3	Eduardo Camponogara	[2]
4	Paul Regnier	[3]
5	Flávio Morais de Assis Silva	[1]
6	Ana Carolina Sokolonski	[2]

Colors in the list of coauthors