par Brenguier, Romain ;Perez, Guillermo A. ;Raskin, Jean-François ;Sankur, Ocan
Référence Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (98-111)
Publication Publié, 2015
Référence Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (98-111)
Publication Publié, 2015
Publication dans des actes
Titre: |
|
Auteur: | Brenguier, Romain; Perez, Guillermo A.; Raskin, Jean-François; Sankur, Ocan |
Informations sur la publication: | Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (98-111) |
Statut de publication: | Publié, 2015 |
series: | EPTCS |
Sujet CREF: | Sciences exactes et naturelles |
Langue: | Anglais |
Identificateurs: | info:doi/10.4204/EPTCS.202.7 |
https://doi.org/10.4204/EPTCS.202.7 |