par Jacobs, Swen;Bloem, Roderick;Brenguier, Romain
;K"onighofer, Robert;Perez, Guillermo A.
;Raskin, Jean-François
;Ryzhyk, Leonid;Sankur, Ocan
;Seidl, Martina;Tentrup, Leander;Walker, Adam
Référence Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (27-57)
Publication Publié, 2015
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
Référence Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (27-57)
Publication Publié, 2015
Publication dans des actes
Titre: |
|
Auteur: | Jacobs, Swen; Bloem, Roderick; Brenguier, Romain; K"onighofer, Robert; Perez, Guillermo A.; Raskin, Jean-François; Ryzhyk, Leonid; Sankur, Ocan; Seidl, Martina; Tentrup, Leander; Walker, Adam |
Informations sur la publication: | Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015., Vol. 202, page (27-57) |
Statut de publication: | Publié, 2015 |
series: | EPTCS |
Sujet CREF: | Sciences exactes et naturelles |
Langue: | Anglais |
Identificateurs: | info:doi/10.4204/EPTCS.202.4 |
https://doi.org/10.4204/EPTCS.202.4 |