![](https://www.pdfsearch.io/img/9b491ca8f185a32dee13d7ac3164b2d5.jpg) Date: 2016-05-27 09:10:59
| | 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 1Add to Reading ListSource URL: eprints.cs.univie.ac.atDownload Document from Source Website File Size: 232,77 KBShare Document on Facebook
|