par Dave, Vrunda;Filiot, Emmanuel 
;Krishna, Shankara Narayanan;Lhote, Nathan
Référence Logical methods in computer science, 18, 2
Publication Publié, 2022-01-01
;Krishna, Shankara Narayanan;Lhote, Nathan Référence Logical methods in computer science, 18, 2
Publication Publié, 2022-01-01
Article révisé par les pairs
| Titre: |
|
| Auteur: | Dave, Vrunda; Filiot, Emmanuel; Krishna, Shankara Narayanan; Lhote, Nathan |
| Informations sur la publication: | Logical methods in computer science, 18, 2 |
| Statut de publication: | Publié, 2022-01-01 |
| Sujet CREF: | Sciences exactes et naturelles |
| Langue: | Français |
| Identificateurs: | urn:issn:1860-5974 |
| info:doi/10.46298/lmcs-18(2:23)2022 |
