VOLUME 5 2000 NUMBER 4
Timed Automata with Periodic Clock Constraints
Christian Choffrut, Massimiliano Goldwurm
Pages 371–403



Download Abstract
 Fulltext is accessible with your personal account
 ShowHide BibTeX
BibTeX: 
@article{JALC-2000-371,
  author  = {Christian Choffrut and Massimiliano Goldwurm},
  title   = {Timed Automata with Periodic Clock Constraints},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {5},
  number  = {4},
  pages   = {371--403},
  year    = {2000},
  url     = {https://doi.org/10.25596/jalc-2000-371},
  doi     = {10.25596/jalc-2000-371}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: model checking, analysis of real-time systems, timed automata, ω-automata
DOI: 10.25596/jalc-2000-371