%0 Conference Paper %1 conf/dagstuhl/AhmedBB010 %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 Abstracts Collection - Modelling, Controlling and Reasoning About State. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#AhmedBB010 %V 10351

@inproceedings{conf/dagstuhl/AhmedBB010, 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/2a809e191141725c94eb20333fbcb5098/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/2811/}, interhash = {b6acb6db47c15c13663beab13b0e2e86}, intrahash = {a809e191141725c94eb20333fbcb5098}, 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 Abstracts Collection - Modelling, Controlling and Reasoning About State.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10351.html#AhmedBB010}, volume = 10351, year = 2010 }