On the application of formal description techniques to the design of interception systems for GSM mobile terminals
- Fernández-Iglesias, M.J.
- González-Castaño, F.J.
- Llamas-Nistal, M.
- Pousada-Carballo, J.M.
- Vales-Alonso, J.
ISSN: 0164-1212
Any de publicació: 2002
Volum: 60
Número: 1
Pàgines: 51-58
Tipus: Article
