par Doyen, Laurent Cliquez pour télécharger la liste de publications de l'auteur; Geeraerts, Gilles Liste de publications; Raskin, Jean-François Liste de publications; Reichert, Julien
Référence Lecture notes in computer science, 5813
Publication Publié, 2009
Article révisé par les pairs
Titre :
  • Realizability of real-time logics
Auteur : Doyen, Laurent ; Geeraerts, Gilles ; Raskin, Jean-François ; Reichert, Julien
Informations sur la publication : Lecture notes in computer science, 5813
Statut de publication : Publié, 2009
Sujet CREF : Informatique générale
Langue :
Identificateurs : urn:issn:0302-9743