R.K. Ranjan and Robert K. Brayton
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M94/99
October 1994
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/ERL-94-99.pdf
BibTeX citation:
@techreport{Ranjan:M94/99, Author = {Ranjan, R.K. and Brayton, Robert K.}, Title = {A User Friendly Environment for Property Specification}, Institution = {EECS Department, University of California, Berkeley}, Year = {1994}, Month = {Oct}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2685.html}, Number = {UCB/ERL M94/99} }
EndNote citation:
%0 Report %A Ranjan, R.K. %A Brayton, Robert K. %T A User Friendly Environment for Property Specification %I EECS Department, University of California, Berkeley %D 1994 %@ UCB/ERL M94/99 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2685.html %F Ranjan:M94/99