Consistently Formalizing a Business Process and its Properties for Verification: A Case Study
['Michael Rathmair', 'Ralph Hoch', 'Hermann Kaindl', 'Roman Popp']
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study