A.J. Isles
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M97/39
May 1997
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/ERL-97-39.pdf
BibTeX citation:
@techreport{Isles:M97/39, Author = {Isles, A.J.}, Title = {Formal Verification Using the Integer Combinational/Sequential (ICS) Concurrency Model}, Institution = {EECS Department, University of California, Berkeley}, Year = {1997}, Month = {May}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3245.html}, Number = {UCB/ERL M97/39} }
EndNote citation:
%0 Report %A Isles, A.J. %T Formal Verification Using the Integer Combinational/Sequential (ICS) Concurrency Model %I EECS Department, University of California, Berkeley %D 1997 %@ UCB/ERL M97/39 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3245.html %F Isles:M97/39