%0 Conference Paper %1 conf/ictac/RafeR08 %A Rafe, Vahid %A Rahmani, Adel Torkaman %B ICTAC %D 2008 %E Fitzgerald, John S. %E Haxthausen, Anne E. %E Yenigün, Hüsnü %I Springer %K dblp %P 305-318 %T Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#RafeR08 %V 5160 %@ 978-3-540-85761-7

@inproceedings{conf/ictac/RafeR08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Rafe, Vahid and Rahmani, Adel Torkaman}, biburl = {https://www.bibsonomy.org/bibtex/259d6b6380d0f6dbc1ea2edd7348c9811/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2008}, editor = {Fitzgerald, John S. and Haxthausen, Anne E. and Yenigün, Hüsnü}, ee = {https://doi.org/10.1007/978-3-540-85762-4_21}, interhash = {4c53d1820a9a043616579bd38795bae5}, intrahash = {59d6b6380d0f6dbc1ea2edd7348c9811}, isbn = {978-3-540-85761-7}, keywords = {dblp}, pages = {305-318}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-29T11:40:01.000+0100}, title = {Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#RafeR08}, volume = 5160, year = 2008 }