par Leuschel, Michaël Cliquez pour télécharger la liste de publications de l'auteur; Massart, Thierry Liste de publications
Référence Lecture notes in computer science, 2021, (page 99-118)
Publication Publié, 2001
Article révisé par les pairs
Titre :
  • How to make fdr spin: Ltl model checking of csp by refinement
Auteur : Leuschel, Michaël ; Massart, Thierry
Informations sur la publication : Lecture notes in computer science, 2021, (page 99-118)
Statut de publication : Publié, 2001
Sujet CREF : Informatique mathématique
Note : SCOPUS: cp.k
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743