C.W. Moon and P.R. Stephan and Robert K. Brayton

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M91/67

, 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},
    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