Formal Verification of Communication Protocols for Wireless Networks
- Kirjailija
- Daniel Camara, Antonio Alfredo Ferreira Loureiro
- ISBN
- 9783846515600
- Kieli
- englanti
- Paino
- 186 grammaa
- Julkaisupäivä
- 15.10.2011
- Kustantaja
- LAP Lambert Academic Publishing
- Sivumäärä
- 120


