J. Preubig, S. Kowalewski, H. Wong-Toi and Thomas A. Henzinger
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M99/12
February 1999
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/ERL-99-12.pdf
BibTeX citation:
@techreport{Preubig:M99/12, Author = {Preubig, J. and Kowalewski, S. and Wong-Toi, H. and Henzinger, Thomas A.}, Title = {An Algorithm for the Approximative Analysis of Rectangular Automata}, Institution = {EECS Department, University of California, Berkeley}, Year = {1999}, Month = {Feb}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3588.html}, Number = {UCB/ERL M99/12} }
EndNote citation:
%0 Report %A Preubig, J. %A Kowalewski, S. %A Wong-Toi, H. %A Henzinger, Thomas A. %T An Algorithm for the Approximative Analysis of Rectangular Automata %I EECS Department, University of California, Berkeley %D 1999 %@ UCB/ERL M99/12 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3588.html %F Preubig:M99/12