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