Zeitschriftenartikel
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Dateien
Zusatzinformation
Datum
2016
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
De Gruyter