par Hunter, Paul William ;Perez, Guillermo A. ;Raskin, Jean-François
Référence Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, Springer, Vol. 8762, page (163-175)
Publication Publié, 2014
Référence Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, Springer, Vol. 8762, page (163-175)
Publication Publié, 2014
Publication dans des actes
Titre: |
|
Auteur: | Hunter, Paul William; Perez, Guillermo A.; Raskin, Jean-François |
Informations sur la publication: | Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, Springer, Vol. 8762, page (163-175) |
Statut de publication: | Publié, 2014 |
series: | Lecture Notes in Computer Science |
Sujet CREF: | Sciences exactes et naturelles |
Langue: | Anglais |
Identificateurs: | info:doi/10.1007/978-3-319-11439-2_13 |
https://doi.org/10.1007/978-3-319-11439-2_13 |