%0 Book Section %1 year=2014 %A Lochau, Malte %A Mennicke, Stephan %A Baller, Hauke %A Ribbeck, Lars %B Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change %D 2014 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer Berlin Heidelberg %K analysis calculus ccs change checking delta incremental model modeling process %P 320-335 %R 10.1007/978-3-662-45234-9_23 %T DeltaCCS: A Core Calculus for Behavioral Change %U http://dx.doi.org/10.1007/978-3-662-45234-9_23 %V 8802 %@ 978-3-662-45233-2

@incollection{year={2014}, added-at = {2015-02-12T17:05:31.000+0100}, author = {Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars}, biburl = {https://www.bibsonomy.org/bibtex/295ceb12e3c9478c7981a04e00d4442b0/smennicke}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change}, doi = {10.1007/978-3-662-45234-9_23}, editor = {Margaria, Tiziana and Steffen, Bernhard}, interhash = {34548436be53e37f4f8fa4ce9045bad1}, intrahash = {95ceb12e3c9478c7981a04e00d4442b0}, isbn = {978-3-662-45233-2}, keywords = {analysis calculus ccs change checking delta incremental model modeling process}, language = {English}, pages = {320-335}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2015-02-12T17:05:31.000+0100}, title = {DeltaCCS: A Core Calculus for Behavioral Change}, url = {http://dx.doi.org/10.1007/978-3-662-45234-9_23}, volume = 8802, year = 2014 }