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 journalArticle

Original languageEnglish
Pages (from-to)1-102
Number of pages102
JournalMPI - I. Research report
Volume3
Issue number3
Publication statusPublished - 1999

Cite this