A Determinizable Class of Timed Automata

Sorry, there's nothing here.


Citations per Year

104 Citations

Semantic Scholar estimates that this publication has 104 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Alur1994ADC, title={A Determinizable Class of Timed Automata}, author={Rajeev Alur and Limor Fix and Thomas A. Henzinger}, booktitle={CAV}, year={1994} }