Vahid Rafe, Adel Torkaman Rahmani. A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows. In Hamid Sarbazi-Azad, Behrooz Parhami, Seyed Ghassem Miremadi, Shaahin Hessabi, editors, Advances in Computer Science and Engineering - 13th International CSI Computer Conference, CSICC 2008, Kish Island, Iran, March 9-11, 2008 Revised Selected Papers. Volume 6 of Communications in Computer and Information Science, pages 291-298, 2008. [doi]
@inproceedings{RafeR08-0,
title = {A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows},
author = {Vahid Rafe and Adel Torkaman Rahmani},
year = {2008},
doi = {10.1007/978-3-540-89985-3_36},
url = {https://doi.org/10.1007/978-3-540-89985-3_36},
researchr = {https://researchr.org/publication/RafeR08-0},
cites = {0},
citedby = {0},
pages = {291-298},
booktitle = {Advances in Computer Science and Engineering - 13th International CSI Computer Conference, CSICC 2008, Kish Island, Iran, March 9-11, 2008 Revised Selected Papers},
editor = {Hamid Sarbazi-Azad and Behrooz Parhami and Seyed Ghassem Miremadi and Shaahin Hessabi},
volume = {6},
series = {Communications in Computer and Information Science},
isbn = {978-3-540-89984-6},
}