Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Verifying Nested Workflows with Extra ConstraintsRoman Barták, Vladimír Rovenský. micai 2013: 359-370 [doi] On Complexity of Verifying Nested Workflows with Extra ConstraintsRoman Barták. icaart 2012: 346-354 Simplifying Verification of Nested Workflows with Extra ConstraintsRoman Barták. flairs 2013: [doi] Using Attribute Grammars to Model Nested Workflows with Extra ConstraintsRoman Barták. sofsem 2016: 171-182 [doi]
The following publications are possibly variants of this publication: