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