Wireless protocol testing and validation supported by formal methods. A hands-on report
ISSN: 0164-1212
Any de publicació: 2005
Volum: 75
Número: 1-2
Pàgines: 139-154
Tipus: Article
ISSN: 0164-1212
Any de publicació: 2005
Volum: 75
Número: 1-2
Pàgines: 139-154
Tipus: Article