Seong Yong Lim, Jongmoon Baik, Ho-Jin Choi, Danhyung Lee. A verification method for web service composition based on discrete event system modeling and simulation. In Robert M. McGraw, Eric S. Imsand, Michael J. Chinni, editors, Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, 2010. pages 234, SCS/ACM, 2010. [doi]
Abstract is missing.