%0 Conference Paper %1 conf/spin/0001LW15 %A Beyer, Dirk %A Löwe, Stefan %A Wendler, Philipp %B SPIN %D 2015 %E Fischer, Bernd %E Geldenhuys, Jaco %I Springer %K %P 20-38 %T Refinement Selection. %U http://dblp.uni-trier.de/db/conf/spin/spin2015.html#0001LW15 %V 9232 %@ 978-3-319-23403-8

@inproceedings{conf/spin/0001LW15, added-at = {2023-12-13T01:49:45.000+0100}, author = {Beyer, Dirk and Löwe, Stefan and Wendler, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/251866b5c0748147adcd49a6b66ce7e1a/admin}, booktitle = {SPIN}, crossref = {conf/spin/2015}, editor = {Fischer, Bernd and Geldenhuys, Jaco}, ee = {https://doi.org/10.1007/978-3-319-23404-5_3}, interhash = {7707f78381388e7076e9497f07ad877d}, intrahash = {51866b5c0748147adcd49a6b66ce7e1a}, isbn = {978-3-319-23403-8}, keywords = {}, pages = {20-38}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:49:45.000+0100}, title = {Refinement Selection.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2015.html#0001LW15}, volume = 9232, year = 2015 }