%0 Conference Paper %1 conf/forte/HajduTVM16 %A Hajdu, Ákos %A Tóth, Tamás %A Vörös, András %A Majzik, István %B FORTE %D 2016 %E Albert, Elvira %E Lanese, Ivan %I Springer %K dblp %P 158-174 %T A Configurable CEGAR Framework with Interpolation-Based Refinements. %U http://dblp.uni-trier.de/db/conf/forte/forte2016.html#HajduTVM16 %V 9688 %@ 978-3-319-39569-2

@inproceedings{conf/forte/HajduTVM16, added-at = {2018-11-14T00:00:00.000+0100}, author = {Hajdu, Ákos and Tóth, Tamás and Vörös, András and Majzik, István}, biburl = {https://www.bibsonomy.org/bibtex/24bfc51c6b497ae2681ccb9528324ceb2/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2016}, editor = {Albert, Elvira and Lanese, Ivan}, ee = {https://www.wikidata.org/entity/Q57086291}, interhash = {af9aa70116c5cfcfc8348fbbb7a8b9bc}, intrahash = {4bfc51c6b497ae2681ccb9528324ceb2}, isbn = {978-3-319-39569-2}, keywords = {dblp}, pages = {158-174}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:24.000+0200}, title = {A Configurable CEGAR Framework with Interpolation-Based Refinements.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2016.html#HajduTVM16}, volume = 9688, year = 2016 }