Back to Results
First PageMeta Content



Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1
Add to Reading List

Document Date: 2016-05-27 09:10:59

Open Document

File Size: 232,77 KB

Share Result on Facebook
UPDATE