Kent Inge Fagerland Simonsen, Lars Michael Kristensen. Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. In Ricardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Volume 7706 of Lecture Notes in Computer Science, pages 106-125, Springer, 2012. [doi]
Abstract is missing.