C.W. Moon, P.R. Stephan and Robert K. Brayton
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M91/67
August 1991
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/ERL-91-67.pdf
BibTeX citation:
@techreport{Moon:M91/67, Author = {Moon, C.W. and Stephan, P.R. and Brayton, Robert K.}, Title = {Specification, Synthesis and Verification of Hazard-Free Asynchronous Circuits}, Institution = {EECS Department, University of California, Berkeley}, Year = {1991}, Month = {Aug}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1791.html}, Number = {UCB/ERL M91/67} }
EndNote citation:
%0 Report %A Moon, C.W. %A Stephan, P.R. %A Brayton, Robert K. %T Specification, Synthesis and Verification of Hazard-Free Asynchronous Circuits %I EECS Department, University of California, Berkeley %D 1991 %@ UCB/ERL M91/67 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1791.html %F Moon:M91/67