Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Algorithm for formal verification of business process templates - MaRDI portal

Algorithm for formal verification of business process templates

From MaRDI portal

Publication:464876

Jump to:navigation, search

DOI10.1007/s10559-011-9305-7zbMath1298.68179OpenAlexW2074104032MaRDI QIDQ464876

A. S. Varosyan

Publication date: 30 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-011-9305-7

zbMATH Keywords

formal verification business process template

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

This page was built for publication: Algorithm for formal verification of business process templates

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:464876&oldid=12342422"