Work

Logic-Based Approaches to Workflow Modeling and Verification

Year: 2004

Type: book-chapter

Source: Springer eBooks

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

Authors: Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang

Institutions: Stony Brook University, Arizona State University, Middle East Technical University

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

FWCI: 29.73

Cites: 34

Cited by: 34

Related to: 10