Vanderlei Moraes Rodrigues

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
j4		Vanderlei Moraes Rodrigues, Flávio Rech Wagner: A logic for synchronous transitions with dynamic conflict resolution. CLEI Electron. J. 3(2) (2002)
	2000
j3		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)
j2		Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin: Using the ACL2 Theorem Prover to Reason about VHDL Components. RITA 7(1): 129-148 (2000)
	1999
c1		Vanderlei Moraes Rodrigues, Flávio Rech Wagner: A Logic to Specify and Verify Synchronous Transitions. IWFM 1999
	1994
j1		Antônio Carlos da Rocha Costa, Vanderlei Moraes Rodrigues: Inspecting continuations. SIGACT News 25(2): 90-91 (1994)

Coauthor Index

1	Dominique Borrione	[j2]
2	Antônio Carlos da Rocha Costa	[j1]
3	David Déharbe (David Boris Paul Déharbe)	[j3]
4	Philippe Georgelin	[j2]
5	Anamaria Martins Moreira	[j3]
6	Leila Ribeiro (Leila Ribeiro Korff)	[j3]
7	Flávio Rech Wagner	[j4] [c1]

Last update Mon May 20 06:28:25 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page