%0 Conference Paper %1 conf/tacas/HeizmannCDEHLNSP13 %A Heizmann, Matthias %A Christ, Jürgen %A Dietsch, Daniel %A Ermis, Evren %A Hoenicke, Jochen %A Lindenmann, Markus %A Nutz, Alexander %A Schilling, Christian %A Podelski, Andreas %B TACAS %D 2013 %E Piterman, Nir %E Smolka, Scott A. %I Springer %K dblp %P 641-643 %T Ultimate Automizer with SMTInterpol - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#HeizmannCDEHLNSP13 %V 7795 %@ 978-3-642-36741-0

@inproceedings{conf/tacas/HeizmannCDEHLNSP13, added-at = {2020-01-04T00:00:00.000+0100}, author = {Heizmann, Matthias and Christ, Jürgen and Dietsch, Daniel and Ermis, Evren and Hoenicke, Jochen and Lindenmann, Markus and Nutz, Alexander and Schilling, Christian and Podelski, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/280a8414fb252c359a9d6d115d278b1f9/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2013}, editor = {Piterman, Nir and Smolka, Scott A.}, ee = {https://doi.org/10.1007/978-3-642-36742-7_53}, interhash = {a51e55b6e48c3af5e6f011d894f16581}, intrahash = {80a8414fb252c359a9d6d115d278b1f9}, isbn = {978-3-642-36741-0}, keywords = {dblp}, pages = {641-643}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-07T11:42:54.000+0100}, title = {Ultimate Automizer with SMTInterpol - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#HeizmannCDEHLNSP13}, volume = 7795, year = 2013 }