Fully decidable logics, automata and classical theories for defining regular real-time languages

Thomas Henzinger, Jean-Francois Raskin, Pierre-Yves Schobbens

Research output: Contribution to journal › Article

Cite this

@article{a9f596ca56394ecab56620294d757002,

title = "Fully decidable logics, automata and classical theories for defining regular real-time languages",

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

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

year = "1999",

language = "English",

volume = "3",

pages = "1--102",

journal = "MPI-INF : Research report",

publisher = "Max-Planck-Institut f{\"u}r Informatik",

number = "3",

}