Pranevičius H, Misevičienė R. Verification of business process workflows. TEDE [Internet]. 2012 Dec. 20 [cited 2025 Sep. 1];18(4):623-35. Available from: https://btp.vilniustech.lt/index.php/TEDE/article/view/4727