Roman Barták, Vladimír Rovenský. On verification of nested workflows with extra constraints: From theory to practice. Expert Syst. Appl., 41(3):904-918, 2014. [doi]
@article{BartakR14, title = {On verification of nested workflows with extra constraints: From theory to practice}, author = {Roman Barták and Vladimír Rovenský}, year = {2014}, doi = {10.1016/j.eswa.2013.08.021}, url = {http://dx.doi.org/10.1016/j.eswa.2013.08.021}, researchr = {https://researchr.org/publication/BartakR14}, cites = {0}, citedby = {0}, journal = {Expert Syst. Appl.}, volume = {41}, number = {3}, pages = {904-918}, }