• Citer

Temporal logic model checking of csp, tools and techniques

par Leuschel, Michaël ;Wolton, I.;Massart, Thierry ;Adhianto, Laksono
Référence (April 2001: Oxford, UK), Proceedings of AVoCS'01, Workshop on Automated Verification of Critical Systems, page (3)
Publication Publié, 2001

Publication dans des actes

• Détails

Titre:	Temporal logic model checking of csp, tools and techniques
Auteur:	Leuschel, Michaël; Wolton, I.; Massart, Thierry; Adhianto, Laksono
Informations sur la publication:	(April 2001: Oxford, UK), Proceedings of AVoCS'01, Workshop on Automated Verification of Critical Systems, page (3)
Statut de publication:	Publié, 2001
Sujet CREF:	Informatique mathématique
Langue:	Anglais