Publication dans des actes
Titre :
  • Symbolic distributed verification of a class of parametric concurrent systems
Auteur : Massart, Thierry ; Raskin, Jean-François ; Van Begin, Laurent
Statut de publication : Publié, 2002
Sujet CREF : Informatique mathématique
Informations sur la publication :
  • , Proceedings of PDMC02: Workshop on Parallel and Distributed Model Checking, (August 2002: Brno, Czech Republic), page 6
Note : workshop satellite of CONCUR’02
Langue :
  • Anglais