Verification of Workflow Control-Flow Patterns with the SPIN Model Checker

Stolz, Manuela Claudia (2010). Verification of Workflow Control-Flow Patterns with the SPIN Model Checker (Arbeitsbericht 237). Institut für Wirtschaftsinformatik, Universität Bern

Full text not available from this repository.

Item Type:

Working Paper

Division/Institute:

03 Faculty of Business, Economics and Social Sciences > Department of Business Management > Institute of Information Systems

UniBE Contributor:

Stolz, Manuela Claudia

Subjects:

000 Computer science, knowledge & systems
300 Social sciences, sociology & anthropology > 330 Economics

Series:

Arbeitsbericht

Publisher:

Institut für Wirtschaftsinformatik, Universität Bern

Language:

German

Submitter:

Fabio Elia Isler

Date Deposited:

01 Oct 2014 12:54

Last Modified:

05 Dec 2022 14:36

URI:

https://boris.unibe.ch/id/eprint/58010

Actions (login required)

Edit item Edit item
Provide Feedback