Reductions for Synthesis Procedures (bibtex)
by Swen Jacobs, Viktor Kuncak, Philippe Suter
Reductions for Synthesis ProceduresSwen Jacobs, Viktor Kuncak, Philippe SuterChapter in Verification, Model Checking, and Abstract Interpretation (Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni, eds.), volume 7737 of Lecture Notes in Computer Science, pages 88-107, 2013, Springer Berlin Heidelberg.
Bibtex Entry:
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-35873-9_9},
isbn = {978-3-642-35872-2},
title = {Reductions for Synthesis Procedures},
url = {/pubpdf/Reductions_for_Synthesis_Procedures.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Verification, Model Checking, and Abstract Interpretation},
author = {Swen Jacobs and Viktor Kuncak and Philippe Suter},
volume = {7737},
link = {},
editor = {Giacobazzi, Roberto and Berdine, Josh and Mastroeni, Isabella},
year = {2013},
pages = {88-107},
Powered by bibtexbrowser