Graphical modelling for simulation and formal analysis of wireless network protocols
Ansgar Fehnker‚ Matthias Fruth and Annabelle McIver
Book Title
Methods‚ Models and Tools for Fault Tolerance
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5454
Year
2009