par Jacobs, Swen;Bloem, Roderick;Brenguier, Romain
;Khalimov, Ayrat;Klein, Felix;K"onighofer, Robert;Kreber, Jens;Legg, Alexander;Narodytska, Nina;Pérez, Guillermo G.A.;Raskin, Jean-François
;Ryzhyk, Leonid;Sankur, Ocan
;Seidl, Martina;Tentrup, Leander;Walker, Adam
Référence Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., Vol. 229, page (149-177)
Publication Publié, 2016



Référence Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., Vol. 229, page (149-177)
Publication Publié, 2016
Publication dans des actes
Fichier importé via le DOI |
Fichier importé via le DOI |