Towards Efficient Parameterized Synthesis (bibtex)
by Ayrat Khalimov, Swen Jacobs, Roderick Bloem
Reference:
Towards Efficient Parameterized SynthesisAyrat Khalimov, Swen Jacobs, Roderick BloemChapter in Verification, Model Checking, and Abstract Interpretation (Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni, eds.), volume 7737 of Lecture Notes in Computer Science, pages 108-127, 2013, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{KJB13,
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-35873-9_9},
isbn = {978-3-642-35872-2},
title = {Towards Efficient Parameterized Synthesis},
url = {/pubpdf/Towards_Efficient_Parameterized_Synthesis.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Verification, Model Checking, and Abstract Interpretation},
author = {Khalimov, Ayrat and Jacobs, Swen and Bloem, Roderick},
volume = {7737},
link = {http://dx.doi.org/10.1007/978-3-642-35873-9_9},
editor = {Giacobazzi, Roberto and Berdine, Josh and Mastroeni, Isabella},
year = {2013},
pages = {108-127},
}
Powered by bibtexbrowser