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
Ano de publicación: 2002
Volume: 60
Número: 1
Páxinas: 51-58
Tipo: Artigo
