Work

Automatic Verification of Data-Centric Business Processes

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-23059-2_3

Authors: Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu

Institutions: University of California San Diego, IBM (United States), IBM Research - Thomas J. Watson Research Center

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: W279525992

FWCI: 14.62

Cites: 54

Cited by: 49

Related to: 10