A theory of timed automata

Rajeev Alur, David L. Dill

Journal: Theoretical Computer Science

Publisher: Elsevier BV

Citations are the number of DOI-registered works in Crossref that cite this paper; references are how many works it cites. Full text is on the publisher site via the DOI link.