Cameron M. Hine, Jean-Guy Schneider, Jun Han, Steven Versteeg. Modelling Enterprise System Protocols and Trace Conformance. In 21st Australian Software Engineering Conference (ASWEC 2010), 6-9 April 2010, Auckland, New Zealand. pages 35-44, IEEE Computer Society, 2010. [doi]
Abstract is missing.