Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
| dc.contributor.author | Czepa, Christoph | |
| dc.contributor.author | Tran, Huy | |
| dc.contributor.author | Zdun, Uwe | |
| dc.contributor.author | Tran, Thanh Thi Kim | |
| dc.contributor.author | Weiss, Erhard | |
| dc.contributor.author | Ruhsam, Christoph | |
| dc.date.accessioned | 2021-07-19T11:16:29Z | |
| dc.date.available | 2021-07-19T11:16:29Z | |
| dc.date.issued | 2016 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/36854 | |
| dc.publisher | De Gruyter | |
| dc.relation.ispartof | EMISA Forum: Vol. 36, No. 2 | |
| dc.title | Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic. | de |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 52 | |
| gi.citation.publisherPlace | Berlin | |
| gi.citation.startPage | 49 |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- EMISA_36_2_7.pdf
- Größe:
- 124.66 KB
- Format:
- Adobe Portable Document Format