Cited By
View all- Chenthati DMohanty H(2018)Service Modelling and Verification: A Formal ApproachWebservices10.1007/978-981-13-3224-1_1(1-23)Online publication date: 1-Dec-2018
- Hoch RRathmair MKaindl HPopp R(2016)Verification of Business Processes Against Business Rules Using Object Life CyclesNew Advances in Information Systems and Technologies10.1007/978-3-319-31232-3_55(589-598)Online publication date: 2-Mar-2016
- Rathmair MHoch RKaindl HPopp R(2015)Consistently Formalizing a Business Process and its Properties for Verification: A Case StudyThe Practice of Enterprise Modeling10.1007/978-3-319-25897-3_9(126-140)Online publication date: 26-Nov-2015
- Show More Cited By