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
;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
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 |
