Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 1-13
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 14-24
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 25-39
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 40-66
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 67-89
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 90-105
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 106-128
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 129-151
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 152-176
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 177-201
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 202-223
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 244-259
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 260-281
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 282-306
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 307-332
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 333-357
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 358-379
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 380-402