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