%0 Conference Paper %1 conf/lata/SmetsersFV18 %A Smetsers, Rick %A Fiterau-Brostean, Paul %A Vaandrager, Frits W. %B LATA %D 2018 %E Klein, Shmuel Tomi %E Martín-Vide, Carlos %E Shapira, Dana %I Springer %K dblp %P 182-194 %T Model Learning as a Satisfiability Modulo Theories Problem. %U http://dblp.uni-trier.de/db/conf/lata/lata2018.html#SmetsersFV18 %V 10792 %@ 978-3-319-77313-1

@inproceedings{conf/lata/SmetsersFV18, added-at = {2018-04-05T00:00:00.000+0200}, author = {Smetsers, Rick and Fiterau-Brostean, Paul and Vaandrager, Frits W.}, biburl = {https://www.bibsonomy.org/bibtex/26402ca478e3552f2d6db5cead9bca2a3/dblp}, booktitle = {LATA}, crossref = {conf/lata/2018}, editor = {Klein, Shmuel Tomi and Martín-Vide, Carlos and Shapira, Dana}, ee = {https://doi.org/10.1007/978-3-319-77313-1_14}, interhash = {7fabacbd17c5616434a887646e2fef30}, intrahash = {6402ca478e3552f2d6db5cead9bca2a3}, isbn = {978-3-319-77313-1}, keywords = {dblp}, pages = {182-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:17:36.000+0200}, title = {Model Learning as a Satisfiability Modulo Theories Problem.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2018.html#SmetsersFV18}, volume = 10792, year = 2018 }