Conference item icon

Conference item

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving

Actions


Access Document


Files:
Publisher:
Springer−Verlag
Host 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
Volume:
1703
Publication date:
1999-01-01
ISSN:
0302-9743
ISBN:
3540665595
UUID:
uuid:21b39b9d-cc69-4345-86a0-17887724cb28
Local pid:
cs:4693
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP