Vanderlei Moraes Rodrigues

2002
4	EE	Vanderlei Moraes Rodrigues, Flávio Rech Wagner: A logic for synchronous transitions with dynamic conflict resolution. CLEI Electron. J. 3(2): (2002)
2000
3		Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin: Using the ACL2 Theorem Prover to Reason about VHDL Components. RITA 7(1): 129-148 (2000)
2		David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues: Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. RITA 7(1): 7-48 (2000)
1999
1		Vanderlei Moraes Rodrigues, Flávio Rech Wagner: A Logic to Specify and Verify Synchronous Transitions. IWFM 1999

Coauthor Index

1	Dominique Borrione	[3]
2	David Déharbe	[2]
3	Philippe Georgelin	[3]
4	Anamaria Martins Moreira	[2]
5	Leila Ribeiro (Leila Ribeiro Korff)	[2]
6	Flávio Rech Wagner	[1] [4]

Colors in the list of coauthors