The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Proc. Int. Conference on The Formal Methods in Computer-Aided Design (LNCS)
Editors:Srivas, M.; Camilleri, A.
Book#: 3540619372
Publisher:Springer-Verlag, Berlin/London
Pages: 91-108

Paper in Conference Proceedings #1055

Title:Experiments in Automating Hardware Verification using Inductive Proof Planning
Authors:Cantu Ortiz,F; Bundy,A; Smaill,AD; Basin,D
Date: 1996

[Search These Pages] [DAI Home Page] [Comment]