Inproceedings,
Encodings of Bounded Synthesis.
P. Faymonville, B. Finkbeiner, M. Rabe, and L. Tentrup.TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 354-370. (2017)
Meta data
- BibTeX key
- conf/tacas/FaymonvilleFRT17
- entry type
- inproceedings
- booktitle
- TACAS (1)
- year
- 2017
- pages
- 354-370
- series
- Lecture Notes in Computer Science
- volume
- 10205
- crossref
- conf/tacas/2017-1
- ee
- https://doi.org/10.1007/978-3-662-54577-5_20
- isbn
- 978-3-662-54577-5
- url
- http://dblp.uni-trier.de/db/conf/tacas/tacas2017-1.html#FaymonvilleFRT17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tacas/FaymonvilleFRT17
%A Faymonville, Peter
%A Finkbeiner, Bernd
%A Rabe, Markus N.
%A Tentrup, Leander
%B TACAS (1)
%D 2017
%E Legay, Axel
%E Margaria, Tiziana
%K dblp
%P 354-370
%T Encodings of Bounded Synthesis.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2017-1.html#FaymonvilleFRT17
%V 10205
%@ 978-3-662-54577-5
@inproceedings{conf/tacas/FaymonvilleFRT17,
added-at = {2017-06-15T00:00:00.000+0200},
author = {Faymonville, Peter and Finkbeiner, Bernd and Rabe, Markus N. and Tentrup, Leander},
biburl = {https://www.bibsonomy.org/bibtex/28cac8c9d7bc9036cdb3c7b4ba0f57cd3/dblp},
booktitle = {TACAS (1)},
crossref = {conf/tacas/2017-1},
editor = {Legay, Axel and Margaria, Tiziana},
ee = {https://doi.org/10.1007/978-3-662-54577-5_20},
interhash = {6560ef772abbf3c0359065de8c2998e0},
intrahash = {8cac8c9d7bc9036cdb3c7b4ba0f57cd3},
isbn = {978-3-662-54577-5},
keywords = {dblp},
pages = {354-370},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:36:16.000+0200},
title = {Encodings of Bounded Synthesis.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-1.html#FaymonvilleFRT17},
volume = 10205,
year = 2017
}