Logics, Automata and Classical Theories for Deciding Real Time

  • Jean-Francois Raskin

Student thesis: Doc typesDocteur en Sciences

Résumé

la date de réponse1999
langue originaleAnglais
SuperviseurPIERRE-YVES SCHOBBENS (Promoteur)

Contient cette citation

'