• Citer

Symbolic distributed verification of a class of parametric concurrent systems

par Massart, Thierry ;Raskin, Jean-François ;Van Begin, Laurent
Référence (August 2002: Brno, Czech Republic), Proceedings of PDMC02, Workshop on Parallel and Distributed Model Checking, page (6)
Publication Publié, 2002

Publication dans des actes

• Détails

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:	(August 2002: Brno, Czech Republic), Proceedings of PDMC02, Workshop on Parallel and Distributed Model Checking, page (6)
Statut de publication:	Publié, 2002
Sujet CREF:	Informatique mathématique
Note générale:	workshop satellite of CONCUR’02
Langue:	Anglais