Graphical modelling for simulation and formal analysis of wireless network protocols
Ansgar Fehnker, Matthias Fruth and Annabelle McIver infobook title | Methods, Models and Tools for Fault Tolerance |
publisher | Springer |
series | Lecture Notes in Computer Science |
volume | 5454 |
year | 2009 |
links
BibTeX
related pages
|
