%0 Conference Paper %1 conf/sycss/SeidlGS14 %A Seidl, Helmut %A Gawlitza, Thomas Martin %A Schwarz, Martin D. %B SCSS %D 2014 %E Kutsia, Temur %E Voronkov, Andrei %I EasyChair %K %P 62-76 %T Parametric Strategy Iteration. %U http://dblp.uni-trier.de/db/conf/sycss/scss2014.html#SeidlGS14 %V 30

@inproceedings{conf/sycss/SeidlGS14, added-at = {2023-12-12T18:25:42.000+0100}, author = {Seidl, Helmut and Gawlitza, Thomas Martin and Schwarz, Martin D.}, biburl = {https://www.bibsonomy.org/bibtex/205be30ad5fe37f9329228f0defccb3b9/admin}, booktitle = {SCSS}, crossref = {conf/sycss/2014}, editor = {Kutsia, Temur and Voronkov, Andrei}, ee = {http://www.easychair.org/publications/paper/196771}, interhash = {1229eff40f72741aee9f9c6d21ae5227}, intrahash = {05be30ad5fe37f9329228f0defccb3b9}, keywords = {}, pages = {62-76}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-12T18:25:42.000+0100}, title = {Parametric Strategy Iteration.}, url = {http://dblp.uni-trier.de/db/conf/sycss/scss2014.html#SeidlGS14}, volume = 30, year = 2014 }