Franco Cicirelli, Angelo Furfaro, Libero Nigro. An Approach to Protocol Modeling and Validation. In Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2-6 April 2006, Huntsville, Alabama, USA. pages 261-268, IEEE Computer Society, 2006. [doi]
Abstract is missing.