Formal analysis of executions of organizational scenarios based on process-oriented specifications.
Date
2011
Authors
Advisors
Journal Title
Journal ISSN
ISSN
0924-669X
Volume Title
Publisher
Springer
Type
Article
Peer reviewed
Yes
Abstract
Description
Keywords
Citation
Popova, V. and Sharpanskykh, A. (2010) Formal analysis of executions of organizational scenarios based on process-oriented specifications. Applied Intelligence, 34 (2), pp. 226-244