Titre :
  • Realizability of real-time logics : decidability and implementation
Auteur : Doyen, Laurent ; Di Giampaolo, Barbara ; Geeraerts, Gilles ; Raskin, Jean-François ; Reichert, Julien ; Sznajder, NATHALIE
Statut de publication : Non publié, 2010
Sujet CREF : Informatique générale
Informations sur la conférence :
  • GAMES 2010 workshop (2010: Oxford)
Langue :