The logic of event clocks: decidability, complexity and expressiveness

Pierre-Yves Schobbens, Jean-Francois Raskin

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	247-282
Number of pages	36
Journal	Journal of automata, languages and combinatorics
Volume	4
Issue number	3
Publication status	Published - 1999

Cite this

@article{9d8be61ff0dc45b8bc4ff4b984198844,

title = "The logic of event clocks: decidability, complexity and expressiveness",

author = "Pierre-Yves Schobbens and Jean-Francois Raskin",

note = "Publication code : **RES. ACAD.",

year = "1999",

language = "English",

volume = "4",

pages = "247--282",

journal = "Journal of automata, languages and combinatorics",

number = "3",

}