Work

Verification of Semantically-Enhanced Artifact Systems

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-45005-1_51

Authors: Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

Institution: 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: W1534945117

FWCI: 0.512

Cites: 31

Cited by: 6

Related to: 10