par Bertrand, Nathalie;Bouyer, Patricia;Majumdar, Anirban 
Référence CONCUR, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 140, page (32:1-32:15)
Publication Publié, 2019
Référence CONCUR, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 140, page (32:1-32:15)
Publication Publié, 2019
Publication dans des actes
| Titre: |
|
| Auteur: | Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban |
| Informations sur la publication: | CONCUR, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 140, page (32:1-32:15) |
| Statut de publication: | Publié, 2019 |
| series: | LIPIcs |
| Sujet CREF: | Informatique générale |
| Informatique mathématique | |
| Langue: | Anglais |
