Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Berks, Robert - Department of Computer Science, University of Auckland
VERDECT: A Veri er for Asynchronous Circuits Jo Ebergen Robert Berks
Response-Time Properties of Linear Asynchronous Pipelines
Partial-Order Correctness-Preserving Properties of Delay-Insensitive Robert Berks