Logics, Automata and Classical Theories for Deciding Real Time

  • Jean-Francois Raskin

Student thesis: Doc typesDoctor of Sciences

Abstract

Date of Award1999
Original languageEnglish
SupervisorPIERRE-YVES SCHOBBENS (Supervisor)

Cite this

'