par Massart, Thierry ;Raskin, Jean-François ;Van Begin, Laurent
Référence Proceedings of PDMC02, Workshop on Parallel and Distributed Model Checking, (August 2002: Brno, Czech Republic), page (6)
Publication Publié, 2002
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
Informations sur la publication:Proceedings of PDMC02, Workshop on Parallel and Distributed Model Checking, (August 2002: Brno, Czech Republic), page (6)
Statut de publication:Publié, 2002
Sujet CREF:Informatique mathématique
Note générale:workshop satellite of CONCUR’02
Langue:Anglais