par Leuschel, Michaël ;Wolton, I.;Massart, Thierry ;Adhianto, L.
Référence Proceedings of AVoCS'01, Workshop on Automated Verification of Critical Systems, (April 2001: Oxford, UK), 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:Proceedings of AVoCS'01, Workshop on Automated Verification of Critical Systems, (April 2001: Oxford, UK), page (3)
Statut de publication:Publié, 2001
Sujet CREF:Informatique mathématique
Langue:Anglais