Work

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-30793-5_5

Authors: Kais Klai, Jörg Desel

Institutions: Centre National de la Recherche Scientifique, Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord, FernUniversität in Hagen

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: green

OpenAlex ID: W92709837

FWCI: 3.063

Cites: 20

Cited by: 14

Related to: 10