par Currie, A.; Leuschel, Michaël Liste de publications; Massart, Thierry Liste de publications
Référence Proceedings of International Workshop on Verification and Computational logic VCL'2000, (page 49-63)
Publication Publié, 2000
Publication dans des actes
Titre :
  • Ltl model checking of csp by refinement
Auteur : Currie, A. ; Leuschel, Michaël ; Massart, Thierry
Statut de publication : Publié, 2000
Sujet CREF : Informatique mathématique
Informations sur la publication :
  • , Proceedings of International Workshop on Verification and Computational logic VCL'2000, (July 2000: London, UK), page 49-63
Langue :
  • Anglais