![](https://www.pdfsearch.io/img/870ad68d59505758da43819342ae5564.jpg) Date: 2016-08-08 07:44:57
| | Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended AbstractAdd to Reading ListSource URL: eprints.cs.univie.ac.atDownload Document from Source Website File Size: 176,74 KBShare Document on Facebook
|