Controlled Timed Automata

@inproceedings{Demichelis1998ControlledTA,
  title={Controlled Timed Automata},
  author={François Demichelis and Wieslaw Zielonka},
  booktitle={CONCUR},
  year={1998}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…