N. Benton, and C. Hur. Modelling, Controlling and Reasoning About State, volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-14T15:17:57.000+0100},
author = {Benton, Nick and Hur, Chung-Kil},
biburl = {https://www.bibsonomy.org/bibtex/23b78acaad8ac0d509b356aeb3bd7957d/admin},
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 = {},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
series = {Dagstuhl Seminar Proceedings},
timestamp = {2023-12-14T15:17:57.000+0100},
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
}