Search results for: A. Hunt
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 163-178
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Theorem Proving > 319-333
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 313-316
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 282-306
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Functional Approaches to Design Description > 20-34
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 271-282
Lecture Notes in Computer Science
Lecture Notes in Computer Science
IFMBE Proceedings > World Congress on Medical Physics and Biomedical Engineering, September 7 - 12, 2009, Munich, Germany > 106-109