Consistently Formalizing a Business Process and its Properties for Verification: A Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp. Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. In Jolita Ralyté, Sergio España, Oscar Pastor, editors, The Practice of Enterprise Modeling - 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings. Volume 235 of Lecture Notes in Business Information Processing, pages 126-140, Springer, 2015. [doi]

This author has not been identified. Look up 'Michael Rathmair' in GoogleThis author has not been identified. Look up 'Ralph Hoch' in GoogleThis author has not been identified. Look up 'Hermann Kaindl' in GoogleThis author has not been identified. Look up 'Roman Popp' in Google

runs on WebDSL