%0 Conference Paper %1 conf/splc/BoerHW12 %A de Boer, Frank S. %A Helvensteijn, Michiel %A Winter, Joost %B SPLC (2) %D 2012 %E de Almeida, Eduardo Santana %E Schwanninger, Christa %E Benavides, David %I ACM %K dblp %P 45-52 %T A modal logic for abstract delta modeling. %U http://dblp.uni-trier.de/db/conf/splc/splc2012-2.html#BoerHW12 %@ 978-1-4503-1095-6

@inproceedings{conf/splc/BoerHW12, added-at = {2018-11-06T00:00:00.000+0100}, author = {de Boer, Frank S. and Helvensteijn, Michiel and Winter, Joost}, biburl = {https://www.bibsonomy.org/bibtex/2ece11cbe6bf23dbf835a81f74f5fce9b/dblp}, booktitle = {SPLC (2)}, crossref = {conf/splc/2012-2}, editor = {de Almeida, Eduardo Santana and Schwanninger, Christa and Benavides, David}, ee = {https://doi.org/10.1145/2364412.2364421}, interhash = {5352996f0a04722dcade726e2bde32f9}, intrahash = {ece11cbe6bf23dbf835a81f74f5fce9b}, isbn = {978-1-4503-1095-6}, keywords = {dblp}, pages = {45-52}, publisher = {ACM}, timestamp = {2020-10-29T11:35:26.000+0100}, title = {A modal logic for abstract delta modeling.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2012-2.html#BoerHW12}, year = 2012 }