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

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

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

Contient cette citation

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

}