VOLUME 7 2002 NUMBER 2

A Kleene/Büchi-Like Theorem for Clock Languages
Patricia Bouyer, Antoine Petit
Pages 167–186





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2002-167,
  author  = {Patricia Bouyer and Antoine Petit},
  title   = {A Kleene/B{\"{u}}chi-Like Theorem for Clock Languages},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {7},
  number  = {2},
  pages   = {167--186},
  year    = {2002},
  url     = {https://doi.org/10.25596/jalc-2002-167},
  doi     = {10.25596/jalc-2002-167}
}
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: Kleene theorem, timed languages
DOI: 10.25596/jalc-2002-167