Logics, Automata and Classical Theories for Deciding Real Time

Jean-Francois Raskin

Faculty of Computer Science

Student thesis: Doc types › Doctor of Sciences

Date of Award	1999
Original language	English
Supervisor	Pierre Yves Schobbens (Supervisor)

Cite this

Related content

Activities
Chercheur invité par la Fundação para a Ciência e a Tecnologia (FCT)
Activity: Participating in or organising an event types › Participation in conference

'