Hardware Specification,
Verification and Synthesis 1989:
Ithaca,
NY,
USA
Miriam Leeser, Geoffrey Brown (Eds.):
Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings.
Lecture Notes in Computer Science 408 Springer 1990, ISBN 3-540-97226-9 BibTeX
@proceedings{DBLP:conf/msiw/1989,
editor = {Miriam Leeser and
Geoffrey Brown},
title = {Hardware Specification, Verification and Synthesis: Mathematical
Aspects, Mathematical Science Institute Workshop, Cornall University,
Ithaca, New York, USA, July 5-7, 1989, Proceedings},
booktitle = {Hardware Specification, Verification and Synthesis},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {408},
year = {1990},
isbn = {3-540-97226-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1
Session 2
Session 3
Session 4
- Jeffrey J. Joyce:
Totally Verified Systems: Linking Verified Software to Verified Hardware.
177-201 BibTeX
- P. A. Subrahmanyam:
What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components.
202-223 BibTeX
- David L. Dill:
Complete Trace Structures.
224-243 BibTeX
- Alain J. Martin:
The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation.
244-259 BibTeX
Session 5
Session 6
Copyright © Sat May 16 23:30:49 2009
by Michael Ley (ley@uni-trier.de)
