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
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
Fichier importé via le DOI |
Fichier importé via le DOI |