S. Devadas and H.K. Ma and A. Richard Newton

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M86/93

, 1986

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/ERL-86-93.pdf

---

BibTeX citation:

@techreport{Devadas:M86/93,
    Author= {Devadas, S. and Ma, H.K. and Newton, A. Richard},
    Title= {On the Verification of Sequential Machines at Differing Levels of Abstraction},
    Year= {1986},
    Month= {Dec},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/782.html},
    Number= {UCB/ERL M86/93},
}

EndNote citation:

%0 Report
%A Devadas, S. 
%A Ma, H.K. 
%A Newton, A. Richard 
%T On the Verification of Sequential Machines at Differing Levels of Abstraction
%I EECS Department, University of California, Berkeley
%D 1986
%@ UCB/ERL M86/93
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/782.html
%F Devadas:M86/93