Vanderlei Moraes Rodrigues

According to our database1, Vanderlei Moraes Rodrigues authored at least 5 papers between 1994 and 2000.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2000
Using the ACL2 Theorem Prover to Reason about VHDL Components.
RITA, 2000

Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.
RITA, 2000

A logic for synchronous transitions with dynamic conflict resolution.
CLEI Electron. J., 2000

1999
A Logic to Specify and Verify Synchronous Transitions.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

1994
Inspecting continuations.
SIGACT News, 1994


  Loading...