par Leuschel, Michaël ;Wolton, I.;Massart, Thierry ;Adhianto, L.
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
Titre:
  • Temporal logic model checking of csp, tools and techniques
Auteur:Leuschel, Michaël; Wolton, I.; Massart, Thierry; Adhianto, L.
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