par Bruyère, Véronique;Raskin, Jean-François
Référence Lecture notes in computer science, 2914, page (100-111)
Publication Publié, 2003
Article révisé par les pairs
Titre:
  • Real-time model-checking: Parameters everywhere
Auteur:Bruyère, Véronique; Raskin, Jean-François
Informations sur la publication:Lecture notes in computer science, 2914, page (100-111)
Statut de publication:Publié, 2003
Sujet CREF:Informatique mathématique
Note générale:SCOPUS: ar.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:scp/35248869218