%0 Conference Paper %1 conf/dagstuhl/AhmedBB010a %A Ahmed, Amal %A Benton, Nick %A Birkedal, Lars %A Hofmann, Martin %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 10351 Executive Summary - Modelling, Controlling and Reasoning About State. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#AhmedBB010a %V 10351

@inproceedings{conf/dagstuhl/AhmedBB010a, added-at = {2022-07-05T00:00:00.000+0200}, author = {Ahmed, Amal and Benton, Nick and Birkedal, Lars and Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/214406550aff26ccfb88cfeee26ab0bde/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/2810/}, interhash = {68f413280718577638108ece890d8ffd}, intrahash = {14406550aff26ccfb88cfeee26ab0bde}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:28.000+0200}, title = {10351 Executive Summary - Modelling, Controlling and Reasoning About State.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#AhmedBB010a}, volume = 10351, year = 2010 }