Zur Kurzanzeige

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.

dc.contributor.authorCzepa, Christoph
dc.contributor.authorTran, Huy
dc.contributor.authorZdun, Uwe
dc.contributor.authorTran, Thanh Thi Kim
dc.contributor.authorWeiss, Erhard
dc.contributor.authorRuhsam, Christoph
dc.date.accessioned2021-07-19T11:16:29Z
dc.date.available2021-07-19T11:16:29Z
dc.date.issued2016
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/36854
dc.publisherDe Gruyter
dc.relation.ispartofEMISA Forum: Vol. 36, No. 2
dc.titlePlausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.de
dc.typeJournal Articles
dc.pubPlaceBerlin
mci.reference.pages49-52


Dateien zu dieser Ressource

Thumbnail
Name:
EMISA_36_2_7.pdf
Größe:
124.6Kb
Format:
PDF
Öffnen

Zur Kurzanzeige