Shoichi Morimoto. A Survey of Formal Verification for Business Process Modeling. In Marian Bubak, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot, editors, Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II. Volume 5102 of Lecture Notes in Computer Science, pages 514-522, Springer, 2008. [doi]
@inproceedings{Morimoto08, title = {A Survey of Formal Verification for Business Process Modeling}, author = {Shoichi Morimoto}, year = {2008}, doi = {10.1007/978-3-540-69387-1_58}, url = {http://dx.doi.org/10.1007/978-3-540-69387-1_58}, tags = {modeling, business process modeling, survey, process modeling}, researchr = {https://researchr.org/publication/Morimoto08}, cites = {0}, citedby = {0}, pages = {514-522}, booktitle = {Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II}, editor = {Marian Bubak and G. Dick van Albada and Jack Dongarra and Peter M. A. Sloot}, volume = {5102}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-69386-4}, }