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 revueArticle

langue originaleAnglais
Pages (de - à)1-102
Nombre de pages102
journalMPI - I. Research report
Volume3
Numéro de publication3
Etat de la publicationPublié - 1999

Contient cette citation