Antonio De Nicola, Michele Missikoff, Maurizio Proietti, Fabrizio Smith. An Open Platform for Business Process Modeling and Verification. In Pablo Garcia Bringas, Abdelkader Hameurlain, Gerald Quirchmayr, editors, Database and Expert Systems Applications, 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I. Volume 6261 of Lecture Notes in Computer Science, pages 76-90, Springer, 2010. [doi]
Abstract is missing.