On the application of formal description techniques to the design of interception systems for GSM mobile terminals.
Manuel J. Fernández IglesiasFrancisco J. González-CastañoMartín Llamas NistalJosé M. Pousada CarballoJavier Vales-AlonsoPublished in: J. Syst. Softw. (2002)