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
Titre: |
|
Auteur: | 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 |
Informations sur la publication: | Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., Vol. 229, page (149-177) |
Statut de publication: | Publié, 2016 |
series: | EPTCS |
Sujet CREF: | Sciences exactes et naturelles |
Langue: | Anglais |
Identificateurs: | info:doi/10.4204/EPTCS.229.12 |
https://doi.org/10.4204/EPTCS.229.12 |