Work

Runtime Verification of LTL-Based Declarative Process Models

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-29860-8_11

Authors: Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst

Institutions: Eindhoven University of Technology, Free University of Bozen-Bolzano

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W2111492220

FWCI: 16.27

Cites: 14

Cited by: 98

Related to: 10