Theoretical Computer Science
A theory of timed automata
✓ Free legal copy found
Published version, hosted by doi.org
This is the final version, as it appears in the journal.
Read it free at doi.org →DOI: 10.1016/0304-3975(94)90010-8 · Publisher: Elsevier BV