David Kuhlen, Andreas Speck. Business process analysis by model checking. In Paolo Ceravolo, Stefanie Rinderle-Ma, editors, Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), Vienna, Austria, December 9-11, 2015. Volume 1527 of CEUR Workshop Proceedings, pages 154-170, CEUR-WS.org, 2015. [doi]
Abstract is missing.