Entry Fernandez-Iglesias:2002:AFD from jsystsoftw.bib
Last update: Thu May 19 02:02:17 MDT 2005
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Fernandez-Iglesias:2002:AFD,
author = "Manuel J. Fern{\'a}ndez-Iglesias and Francisco J.
Gonz{\'a}lez-Casta{\~n}o and Mart{\'\i}n Llamas-Nistal
and Jose M. Pousada-Carballo and Javier Vales-Alonso",
title = "On the application of formal description techniques to
the design of interception systems for {GSM} mobile
terminals",
journal = j-J-SYST-SOFTW,
volume = "60",
number = "1",
pages = "51--58",
day = "15",
month = jan,
year = "2002",
CODEN = "JSSODM",
ISSN = "0164-1212",
bibdate = "Wed Feb 27 09:26:00 MST 2002",
bibsource = "http://www.elsevier.com/locate/issn/01641212",
URL = "http://www.elsevier.com/gej-ng/10/29/11/72/27/33/abstract.html",
acknowledgement = ack-nhfb,
}
Related entries
- Castaño, Francisco J., González-,
75(1)139
- description,
4(2)147,
4(2)185,
7(3)221,
16(1)3,
34(2)105,
36(2)147,
43(1)67
- Fernández-Iglesias, Manuel J.,
75(1)139
- formal,
2(2)177,
7(1)73,
7(2)109,
7(4)311,
11(1)53,
15(1)63,
15(2)103,
16(1)29,
16(3)169,
17(2)169,
17(3)253,
18(1)33,
21(2)115,
21(2)129,
21(2)141,
27(2)71,
28(1)77,
29(2)95,
29(3)251,
36(2)147,
40(3)187,
40(3)191,
40(3)195,
40(3)199,
40(3)211,
40(3)227,
40(3)263,
40(3)275,
41(3)147,
42(2)141,
48(1)27,
48(2)139,
60(1)59,
60(2)113,
60(2)149,
67(3)213,
70(1)95,
74(1)45,
74(1)73,
75(1)139,
76(1)55
- González-Castaño, Francisco J.,
75(1)139
- Iglesias, Manuel J., Fernández-,
75(1)139
- Llamas-Nistal, Martín,
75(1)139
- mobile,
47(2)75,
48(3)213,
51(3)175,
56(1)9,
60(3)211,
62(2)123,
67(2)123,
69(1)159,
69(1)173,
69(1)183,
69(1)195,
73(1)63,
76(1)29
- Nistal, Martín, Llamas-,
75(1)139
- technique,
1(1)71,
1(2)131,
1(4)319,
2(2)133,
6(1)95,
6(1)117,
6(1)147,
6(1)155,
6(1)165,
6(1)169,
8(1)3,
8(2)105,
12(3)209,
16(1)3,
17(3)243,
18(3)207,
20(3)267,
21(3)199,
31(1)45,
32(1)83,
33(1)15,
33(2)141,
33(3)273,
36(3)211,
39(3)201,
39(3)281,
43(1)11,
45(2)155,
47(2)97,
51(1)37,
52(2)131,
53(2)183,
54(3)259,
55(2)167,
56(2)165,
57(3)217,
60(2)103,
61(2)91,
62(3)195,
64(3)183,
64(3)219,
66(2)91,
68(2)85,
71(1)1,
72(3)335,
72(3)349,
72(3)455,
73(2)227,
75(1)155,
76(1)77,
76(3)287
- terminal,
3(4)277,
7(4)267,
72(3)367