Michele Chinosi, Alberto Trombetta. Modeling and Validating BPMN Diagrams. In Birgit Hofreiter, Hannes Werthner, editors, 2009 IEEE Conference on Commerce and Enterprise Computing, CEC 2009, Vienna, Austria, July 20-23, 2009. pages 353-360, IEEE Computer Society, 2009. [doi]
Abstract is missing.