An Approach to Protocol Modeling and Validation

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]

Authors

Franco Cicirelli

This author has not been identified. Look up 'Franco Cicirelli' in Google

Angelo Furfaro

This author has not been identified. Look up 'Angelo Furfaro' in Google

Libero Nigro

This author has not been identified. Look up 'Libero Nigro' in Google