par Filiot, Emmanuel
;Mazzocchi, Nicolas
;Raskin, Jean-François 
Référence International journal of foundations of computer science, 31, 6, page (711-748)
Publication Publié, 2020-01-01



Référence International journal of foundations of computer science, 31, 6, page (711-748)
Publication Publié, 2020-01-01
Article révisé par les pairs
Titre: |
|
Auteur: | Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François |
Informations sur la publication: | International journal of foundations of computer science, 31, 6, page (711-748) |
Statut de publication: | Publié, 2020-01-01 |
Sujet CREF: | Sciences exactes et naturelles |
Mots-clés: | Automata |
logics | |
model-checking | |
structural patterns | |
Note générale: | SCOPUS: cp.j |
Langue: | Français |
Identificateurs: | urn:issn:0129-0541 |
info:doi/10.1142/S0129054120410038 | |
info:scp/85092796050 |