par Hunter, Paul William 
;Perez, Guillermo A. ;Raskin, Jean-François
Référence 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 62, page (30:1-30:17)
Publication Publié, 2016
;Perez, Guillermo A. ;Raskin, Jean-François Référence 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 62, page (30:1-30:17)
Publication Publié, 2016
Publication dans des actes
| Titre: |
|
| Auteur: | Hunter, Paul William; Perez, Guillermo A.; Raskin, Jean-François |
| Informations sur la publication: | 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 62, page (30:1-30:17) |
| Statut de publication: | Publié, 2016 |
| series: | LIPIcs |
| Sujet CREF: | Sciences exactes et naturelles |
| Langue: | Anglais |
| Identificateurs: | info:doi/10.4230/LIPIcs.CSL.2016.30 |
| https://doi.org/10.4230/LIPIcs.CSL.2016.30 |
