%0 Conference Paper %1 conf/isola/LochauMBR14 %A Lochau, Malte %A Mennicke, Stephan %A Baller, Hauke %A Ribbeck, Lars %B ISoLA (1) %D 2014 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K %P 320-335 %T DeltaCCS: A Core Calculus for Behavioral Change. %U http://dblp.uni-trier.de/db/conf/isola/isola2014-1.html#LochauMBR14 %V 8802 %@ 978-3-662-45233-2

@inproceedings{conf/isola/LochauMBR14, added-at = {2023-12-12T20:47:16.000+0100}, author = {Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars}, biburl = {https://www.bibsonomy.org/bibtex/2ed5ba290ebe86687c3773fa3b0bf2718/admin}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2014-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-662-45234-9_23}, interhash = {34548436be53e37f4f8fa4ce9045bad1}, intrahash = {ed5ba290ebe86687c3773fa3b0bf2718}, isbn = {978-3-662-45233-2}, keywords = {}, pages = {320-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:47:16.000+0100}, title = {DeltaCCS: A Core Calculus for Behavioral Change.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2014-1.html#LochauMBR14}, volume = 8802, year = 2014 }