"Bart\u00E1k, Roman" . . "2011-09-18+02:00"^^ . "1"^^ . . "978-80-7378-179-8" . . . "On Complexity of Verifying Nested Workflows with Extra Constraints"@en . "Praha" . "The paper shows a theoretical complexity of the problem of verifying nested workflows with additional precedence, synchronization, and logical constraints."@en . . "Hejnice" . . "9"^^ . . "matfyzpress" . "On Complexity of Verifying Nested Workflows with Extra Constraints" . "RIV/00216208:11320/11:10103584!RIV12-GA0-11320___" . "Nested Workflows; Verification; Complexity"@en . . . "On Complexity of Verifying Nested Workflows with Extra Constraints"@en . "11320" . "217985" . . "On Complexity of Verifying Nested Workflows with Extra Constraints" . . . . "[A757D02731F7]" . . "RIV/00216208:11320/11:10103584" . . "1"^^ . . "The paper shows a theoretical complexity of the problem of verifying nested workflows with additional precedence, synchronization, and logical constraints." . . . . . "Proceedings of the 14th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty" . "P(1M0545), P(GAP202/10/1188), Z(MSM0021620838)" .