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 |