|
Search the dblp DataBase
Vanderlei Moraes Rodrigues:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vanderlei Moraes Rodrigues, Flávio Rech Wagner
A Logic to Specify and Verify Synchronous Transitions. [Citation Graph (0, 0)][DBLP] IWFM, 1999, pp:- [Conf]
- Vanderlei Moraes Rodrigues, Flávio Rech Wagner
A logic for synchronous transitions with dynamic conflict resolution. [Citation Graph (0, 0)][DBLP] CLEI Electron. J., 2002, v:3, n:2, pp:- [Journal]
- 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. [Citation Graph (0, 0)][DBLP] RITA, 2000, v:7, n:1, pp:7-48 [Journal]
- Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin
Using the ACL2 Theorem Prover to Reason about VHDL Components. [Citation Graph (0, 0)][DBLP] RITA, 2000, v:7, n:1, pp:129-148 [Journal]
Search in 0.001secs, Finished in 0.001secs
|