VOLUME 4

1999

NUMBER 3

The Logic of Event Clocks – Decidability, Complexity And Expressiveness

Jean-François Raskin, Pierre-Yves Schobbens

Pages 247–282

Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX

BibTeX:

@article{JALC-1999-247,
  author  = {Jean-Fran{\s{c}}ois Raskin and Pierre-Yves Schobbens},
  title   = {The Logic of Event Clocks -- Decidability, Complexity And Expressiveness},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {4},
  number  = {3},
  pages   = {247--282},
  year    = {1999},
  url     = {https://doi.org/10.25596/jalc-1999-247},
  doi     = {10.25596/jalc-1999-247}
}