Work

Automating correctness verification of artifact-centric business process models

Year: 2015

Type: article

Source: Information and Software Technology

DOI: 10.1016/j.infsof.2015.02.010

Authors: Diana Borrego, Rafael M. Gasca, María Teresa Gómez-López

Institution: Universidad de Sevilla

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: green

Funders: Federación Española de Enfermedades Raras, European Regional Development Fund

OpenAlex ID: W2082987461

FWCI: 7.293

Cites: 40

Cited by: 19

Related to: 10