Simulation-Oriented Behavioral Verification

B. Tabbara and A. Tabbara

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M99/38
July 1999

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/ERL-99-38.pdf

BibTeX citation:

@techreport{Tabbara:M99/38,
    Author = {Tabbara, B. and Tabbara, A.},
    Title = {Simulation-Oriented Behavioral Verification},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1999},
    Month = {Jul},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3706.html},
    Number = {UCB/ERL M99/38}
}

EndNote citation:

%0 Report
%A Tabbara, B.
%A Tabbara, A.
%T Simulation-Oriented Behavioral Verification
%I EECS Department, University of California, Berkeley
%D 1999
%@ UCB/ERL M99/38
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3706.html
%F Tabbara:M99/38