Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
Mark D. Aagaard‚ Thomas F. Melham and John W. O'Leary
Book Title
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference‚ CHARME'99: Bad Herrenalb‚ Germany‚ September 27–29‚ 1999: Proceedings
Editor
Laurence Pierre and Thomas Kropf
ISBN
3−540−66559−5
ISSN
0302−9743
Pages
202–218
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
1703
Year
1999