| Title | An Extensible Operational Semantics for UML Activity Diagrams |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Daw, Zamira, and Cleaveland Rance |
| Conference Name | 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 |
