Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.

Thu, 01 Jan 2009 00:00:00 +0100

Ansgar Fehnker , Matthias Fruth, Annabelle McIver :
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. Methods, Models and Tools for Fault Tolerance 2009: 1-24