@inproceedings{49,
  author = {Zamira Daw and Rance Cleaveland},
  title = {An Extensible Operational Semantics for {UML} Activity Diagrams},
  year = {2015},
  journal = {Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
  url = {https://doi.org/10.1007/978-3-319-22969-0\_25},
  doi = {10.1007/978-3-319-22969-0\_25},
  language = {eng},
}