VOLUME 10 2005 NUMBER 4

On Conciseness of Extensions of Timed Automata
Patricia Bouyer, Fabrice Chevalier
Pages 393–405





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2005-393,
  author  = {Patricia Bouyer and Fabrice Chevalier},
  title   = {On Conciseness of Extensions of Timed Automata},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {10},
  number  = {4},
  pages   = {393--405},
  year    = {2005},
  url     = {https://doi.org/10.25596/jalc-2005-393},
  doi     = {10.25596/jalc-2005-393}
}
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: timed automata, conciseness, diagonal constraints, updates
DOI: 10.25596/jalc-2005-393