Logics, Automata and Classical Theories for Deciding Real Time

Student thesis: Doc types › Docteur en Sciences

la date de réponse	1999
langue originale	Anglais
Superviseur	Pierre Yves Schobbens (Promoteur)

Contient cette citation

Activités
Chercheur invité par la Fundação para a Ciência e a Tecnologia (FCT)
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès