par Currie, A.;Leuschel, Michaël ;Massart, Thierry
Référence Proceedings of International Workshop on Verification and Computational logic VCL'2000, (July 2000: London, UK), 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
Informations sur la publication:Proceedings of International Workshop on Verification and Computational logic VCL'2000, (July 2000: London, UK), page (49-63)
Statut de publication:Publié, 2000
Sujet CREF:Informatique mathématique
Langue:Anglais