@inproceedings{DBLP:conf/gc/BaldanCG04,
author = {Paolo Baldan and
Andrea Corradini and
Fabio Gadducci},
editor = {Corrado Priami and
Paola Quaglia},
title = {Specifying and Verifying {UML} Activity Diagrams Via Graph Transformation},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {18--33},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_2},
doi = {10.1007/978-3-540-31794-4\_2},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gc/BaldanCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
