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
| Volume: | 1166
| 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 |
Presented: | |
Keywords: |