%0 Conference Paper %1 conf/calco/KnappM17 %A Knapp, Alexander %A Mossakowski, Till %B CALCO %D 2017 %E Bonchi, Filippo %E König, Barbara %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 15:1-15:15 %T UML Interactions Meet State Machines - An Institutional Approach. %U http://dblp.uni-trier.de/db/conf/calco/calco2017.html#KnappM17 %V 72 %@ 978-3-95977-033-0

@inproceedings{conf/calco/KnappM17, added-at = {2023-12-12T18:21:08.000+0100}, author = {Knapp, Alexander and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/27e6eb5132b6cc02d747792a49df6de52/admin}, booktitle = {CALCO}, crossref = {conf/calco/2017}, editor = {Bonchi, Filippo and König, Barbara}, ee = {https://doi.org/10.4230/LIPIcs.CALCO.2017.15}, interhash = {11094db3fa6372c9fc124bdf35b81294}, intrahash = {7e6eb5132b6cc02d747792a49df6de52}, isbn = {978-3-95977-033-0}, keywords = {}, pages = {15:1-15:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T18:21:08.000+0100}, title = {UML Interactions Meet State Machines - An Institutional Approach.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2017.html#KnappM17}, volume = 72, year = 2017 }