%0 Conference Paper %1 DBLP:conf/birthday/KnappMR15 %A Knapp, Alexander %A Mossakowski, Till %A Roggenbach, Markus %B Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering %D 2015 %E Nicola, Rocco De %E Hennicker, Rolf %I Springer %K imported %P 215--230 %R 10.1007/978-3-319-15545-6_15 %T Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper - %U http://link.springer.com/chapter/10.1007%2F978-3-319-15545-6_15 %V 8950 %@ 978-3-319-15544-9

@inproceedings{DBLP:conf/birthday/KnappMR15, added-at = {2016-08-09T12:02:18.000+0200}, author = {Knapp, Alexander and Mossakowski, Till and Roggenbach, Markus}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2ebbc15d2f4083ff11c04ef7b72d5617f/tillmo}, booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}, doi = {10.1007/978-3-319-15545-6_15}, editor = {Nicola, Rocco De and Hennicker, Rolf}, interhash = {98533c7db6215759e13e42534e9c4b0f}, intrahash = {ebbc15d2f4083ff11c04ef7b72d5617f}, isbn = {978-3-319-15544-9}, keywords = {imported}, pages = {215--230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-14T12:05:50.000+0100}, title = {Towards an Institutional Framework for Heterogeneous Formal Development in {UML} - - {A} Position Paper -}, url = {http://link.springer.com/chapter/10.1007%2F978-3-319-15545-6_15}, volume = 8950, year = 2015 }