The logic of event clocks: decidability, complexity and expressiveness

Pierre-Yves Schobbens, Jean-Francois Raskin

Résultats de recherche: Contribution à un journal/une revue › Article

langue originale	Anglais
Pages (de - à)	247-282
Nombre de pages	36
journal	Journal of automata, languages and combinatorics
Volume	4
Numéro de publication	3
Etat de la publication	Publié - 1999

Contient cette citation

@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",

}