%0 Conference Paper %1 conf/tacas/BlichaHKS19 %A Blicha, Martin %A Hyvärinen, Antti E. J. %A Kofron, Jan %A Sharygina, Natasha %B TACAS (1) %D 2019 %E Vojnar, Tomás %E Zhang, Lijun %I Springer %K dblp %P 3-20 %T Decomposing Farkas Interpolants. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#BlichaHKS19 %V 11427 %@ 978-3-030-17462-0

@inproceedings{conf/tacas/BlichaHKS19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Blicha, Martin and Hyvärinen, Antti E. J. and Kofron, Jan and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/22f2084446f6d1ba7e33d34241e19b70d/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2019-1}, editor = {Vojnar, Tomás and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-030-17462-0_1}, interhash = {0a2dd9b9fd35947e1f0c529e2653ba64}, intrahash = {2f2084446f6d1ba7e33d34241e19b70d}, isbn = {978-3-030-17462-0}, keywords = {dblp}, pages = {3-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:04:45.000+0200}, title = {Decomposing Farkas Interpolants.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#BlichaHKS19}, volume = 11427, year = 2019 }