Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
Autor(en):
- Vollständige Referenz
- BibTeX
Czepa, C., Tran, H., Zdun, U., Tran, T. T., Weiss, E. & Ruhsam, C.,
(2016).
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic..
EMISA Forum: Vol. 36, No. 2.
Berlin:
De Gruyter.
(S. 49-52).
@inproceedings{mci/Czepa2016,
author = {Czepa, Christoph AND Tran, Huy AND Zdun, Uwe AND Tran, Thanh Thi Kim AND Weiss, Erhard AND Ruhsam, Christoph},
title = {Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.},
booktitle = {EMISA Forum: Vol. 36, No. 2},
year = {2016},
editor = {} ,
pages = { 49-52 },
publisher = {De Gruyter},
address = {Berlin}
}
author = {Czepa, Christoph AND Tran, Huy AND Zdun, Uwe AND Tran, Thanh Thi Kim AND Weiss, Erhard AND Ruhsam, Christoph},
title = {Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.},
booktitle = {EMISA Forum: Vol. 36, No. 2},
year = {2016},
editor = {} ,
pages = { 49-52 },
publisher = {De Gruyter},
address = {Berlin}
}
| Dateien | Groesse | Format | Anzeige | |
|---|---|---|---|---|
| EMISA_36_2_7.pdf | 124.6Kb | Öffnen |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
Datum: 2016
Typ: Journal Articles