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


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 |