A Methodology for Formal Verification of Real-Time Systems
F. Balarin, Robert K. Brayton, S-T. Cheng, D.A. Kirkpatrick, Alberto L. Sangiovanni-Vincentelli and E.C. Wu
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M95/11
1995
BibTeX citation:
@techreport{Balarin:M95/11,
Author = {Balarin, F. and Brayton, Robert K. and Cheng, S-T. and Kirkpatrick, D.A. and Sangiovanni-Vincentelli, Alberto L. and Wu, E.C.},
Title = {A Methodology for Formal Verification of Real-Time Systems},
Institution = {EECS Department, University of California, Berkeley},
Year = {1995},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1995/2717.html},
Number = {UCB/ERL M95/11}
}
EndNote citation:
%0 Report %A Balarin, F. %A Brayton, Robert K. %A Cheng, S-T. %A Kirkpatrick, D.A. %A Sangiovanni-Vincentelli, Alberto L. %A Wu, E.C. %T A Methodology for Formal Verification of Real-Time Systems %I EECS Department, University of California, Berkeley %D 1995 %@ UCB/ERL M95/11 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/1995/2717.html %F Balarin:M95/11