Automates et logique pour la vérification de systèmes temps réel et multi-agents
: HDR

  • Catalin Dima

Student thesis: Master types › Master in Computer science

Date of Award2010
Original languageEnglish
SupervisorPierre Yves Schobbens (Jury)

Cite this

'