Automated theorem proving for the KARO-architecture
Conference Paper
(1999)
Author(s)
JM Valk (TU Delft - Data-Intensive Systems)
J.F.M. Tonino (TU Delft - Data-Intensive Systems)
A Bos (TU Delft - Transport and Planning)
C Witteveen (TU Delft - Data-Intensive Systems)
Research Group
Data-Intensive Systems
To reference this document use:
https://resolver.tudelft.nl/uuid:31348ba0-af9e-45a1-b4f6-d90f17fb606a
More Info
expand_more
expand_more
Publication Year
1999
Research Group
Data-Intensive Systems
Pages (from-to)
1-13
No files available
Metadata only record. There are no files for this record.