TPF: an effective method for verifying synchronous circuits with induction-based provers

• Autores: Kazuo Takahashi, Hiroshi Fujita
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 81, Nº. 1, 1998, págs. 12-18
• Idioma: inglés
• Texto completo no disponible (Saber más ...)