IEEE - Institute of Electrical and Electronics Engineers, Inc. - An automaton-based approach to the verification of timed workflow schemas

Thirteenth International Symposium on Temporal Representation and Reasoning

Author(s): E. De Maria ; A. Montanari ; M. Zantoni
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Budapest, Hungary
Conference Date: 15 June 2006
Page(s): 87 - 94
ISBN (Paper): 0-7695-2617-9
ISSN (Paper): 1530-1311
DOI: 10.1109/TIME.2006.6
Regular:

Nowadays, the ability of providing an automated support to the management of business processes is commonly recognized as a main competitive factor for companies. One of the most critical... View More

Advertisement