TY - CPAPER
AU - Zamira Daw
AU - Rance Cleaveland
BT - Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings
DO - 10.1007/978-3-319-22969-0\_25
LA - eng
PY - 2015
T2 - Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings
TI - An Extensible Operational Semantics for {UML} Activity Diagrams
UR - https://doi.org/10.1007/978-3-319-22969-0\_25
ER -