Armen Kostanyan, Vardan Matevosyan, Samvel K. Shoukourian, Anna Varosyan. An approach for formal verification of business processes. In Gabriel Andrés Wainer, Clifford A. Shaffer, Robert M. McGraw, Michael J. Chinni, editors, Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009. SCS/ACM, 2009. [doi]
Abstract is missing.