|
@techreport{Str98, author = {Karsten Strehl}, title = {Using Interval Diagram Techniques for the Symbolic Verification of Timed Automata}, institution = {Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich}, number = {53}, month = {Jul}, year = {1998} }