%0 Conference Paper %1 conf/dagstuhl/BentonH10 %A Benton, Nick %A Hur, Chung-Kil %B Modelling, Controlling and Reasoning About State %D 2010 %E Ahmed, Amal %E Benton, Nick %E Birkedal, Lars %E Hofmann, Martin %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T Step-Indexing: The Good, the Bad and the Ugly. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#BentonH10 %V 10351

@inproceedings{conf/dagstuhl/BentonH10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Benton, Nick and Hur, Chung-Kil}, biburl = {https://www.bibsonomy.org/bibtex/23b78acaad8ac0d509b356aeb3bd7957d/dblp}, booktitle = {Modelling, Controlling and Reasoning About State}, crossref = {conf/dagstuhl/2010P10351}, editor = {Ahmed, Amal and Benton, Nick and Birkedal, Lars and Hofmann, Martin}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2808/}, interhash = {e96efad72f2ee272022c636783f019a5}, intrahash = {3b78acaad8ac0d509b356aeb3bd7957d}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:28.000+0200}, title = {Step-Indexing: The Good, the Bad and the Ugly.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#BentonH10}, volume = 10351, year = 2010 }