%0 Journal Article %1 journals/corr/KnappMR14 %A Knapp, Alexander %A Mossakowski, Till %A Roggenbach, Markus %D 2014 %J CoRR %K %T An Institutional Framework for Heterogeneous Formal Development in UML. %U http://dblp.uni-trier.de/db/journals/corr/corr1403.html#KnappMR14 %V abs/1403.7747

@article{journals/corr/KnappMR14, added-at = {2023-12-12T22:30:45.000+0100}, author = {Knapp, Alexander and Mossakowski, Till and Roggenbach, Markus}, biburl = {https://www.bibsonomy.org/bibtex/280a382c5e84639f71d80848da56a7b27/admin}, ee = {http://arxiv.org/abs/1403.7747}, interhash = {4b0a327c73a5f1c52816fb15709d1279}, intrahash = {80a382c5e84639f71d80848da56a7b27}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T22:30:45.000+0100}, title = {An Institutional Framework for Heterogeneous Formal Development in UML.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1403.html#KnappMR14}, volume = {abs/1403.7747}, year = 2014 }