Veja também em: ACM DL - CiteSeer - DBLP* - Google Scholar

*Somente retorna uma resposta se o nome do autor na BDBComp e na DBLP forem exatamente iguais.

1 registro retornado

• Using the ACL2 Theorem Prover to Reason about VHDL Components.  Revista de Informática Teórica e Aplicada - Volume 7 - Número 1.

• Vanderlei Moraes Rodrigues.  A logic for synchronous transitions.  III Simpósio Brasileiro de Linguagens de Programação. Buscar na Web Processando consulta.

• Vanderlei Moraes Rodrigues,  Flavio Rech Wagner.  A Temporal Logic for Data-Flow VHDL.  XI Symposium on Integrated Circuits and Systems Design.

• Vanderlei Moraes Rodrigues,  Flavio Rech Wagner.  A synchronous transition system and its application to the formal verification of VHDL designs.  X Symposium on Integrated Circuits and Systems Design. Buscar na Web Processando consulta.