Last update: Fri Jan 5 02:05:58 MST 2018
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{Thooft:1987:FDT,
author = "G. Thooft",
title = "Formal description techniques: communication tools for
data communication specialists",
journal = j-COMP-NET-ISDN,
volume = "14",
number = "2--5",
pages = "311--321",
year = "1987",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Sat Sep 25 23:08:50 MDT 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
affiliation = "Univ Libre de Bruxelles",
affiliationaddress = "Bruxelles, Belg",
classification = "723",
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
journalabr = "Comput Networks ISDN Syst",
keywords = "Blue Book; Computer Networks; Data Communication
Protocols; Data Transmission; Estelle; Formal
Description Techniques; Network Independent File
Transfer Protocol",
}
Related entries
- description,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
14(1)25,
14(2)187,
14(3)3,
16(1)138,
16(4)311,
18(5)335,
24(4)321,
25(4)583,
25(7)723,
27(2)289,
27(6)985,
28(7)1095,
28(7)1291,
28(7)1385,
29(3)271,
30(9)863,
30(15)1389
- Estelle,
13(2)75,
14(3)3,
22(1)51,
23(5)343,
25(1)63,
25(1)83,
25(7)741,
25(7)841
- file,
9(4)267,
10(3)185,
11(5)383,
16(1)21,
16(1)24,
16(1)40,
16(1)75,
16(4)299,
17(4)294,
25(8)901,
26(5)493,
27(2)135,
27(2)193,
27(2)205,
27(6)841,
27(6)919
- formal,
14(1)25,
14(1)61,
14(3)3,
17(2)111,
18(5)335,
18(13)1845,
22(1)7,
25(1)3,
25(4)583,
25(7)723,
25(7)779,
25(7)815,
26(2)233,
27(8)1305,
28(13)1845,
29(1)3,
29(1)15,
29(7)759,
30(1)225,
30(9)863,
30(9)865,
30(11)1045,
30(19)1735
- independent,
27(3)471,
27(5)627,
28(6)873
- technique,
9(5)353,
10(5)275,
11(5)337,
12(2)81,
13(4)269,
14(1)25,
14(3)3,
15(3)217,
15(4)229,
16(1)138,
18(5)335,
21(3)149,
23(1)107,
24(2)119,
25(4)454,
25(7)723,
26(6)601,
26(6)603,
26(6)1023,
27(2)135,
27(2)193,
27(2)215,
27(2)273,
27(3)353,
27(6)823,
27(6)831,
27(6)841,
27(6)1009,
27(6)1027,
28(3)325,
28(7)1291,
29(8)1019,
29(14)1685,
29(14)1705,
29(17)2021,
30(1)379,
30(9)863,
30(20)2015,
30(22)2149
- tool,
10(5)245,
11(3)183,
13(2)65,
13(2)91,
23(1)157,
25(7)723,
25(7)791,
25(7)815,
25(7)841,
26(z)z-1,
27(2)135,
27(2)205,
27(2)273,
27(2)289,
27(3)429,
27(6)729,
27(6)809,
27(6)823,
27(6)841,
27(6)985,
28(1)85,
28(1)99,
28(5)709,
28(7)1027,
28(7)1095,
28(7)1149,
28(7)1219,
28(7)1291,
28(12)1703,
29(8)1217,
29(14)1655,
30(1)23,
30(1)291,
30(1)327,
30(1)631,
30(13)1233,
30(16)1559,
30(20)1841,
30(20)1933
- transfer,
9(4)267,
13(3)235,
14(2)389,
16(1)21,
16(1)24,
16(1)40,
16(1)75,
16(5)347,
19(2)79,
20(1)435,
24(4)277,
24(4)279,
24(4)335,
25(4)454,
26(3)253,
26(6)785,
27(2)193,
27(2)273,
29(8)905,
30(24)2293
- transmission,
9(2)131,
9(3)223,
9(4)257,
9(5)339,
10(1)7,
10(1)19,
10(2)65,
10(2)81,
10(3)135,
10(3)175,
10(3)185,
10(5)275,
11(2)133,
12(4)209,
12(4)209,
12(4)225,
12(4)235,
12(5)277,
12(5)291,
13(1)15,
13(3)149,
13(3)149,
13(3)155,
13(3)165,
13(3)219,
13(3)247,
13(3)249,
13(4)313,
14(2)123,
14(2)155,
14(2)159,
14(2)167,
14(2)389,
15(1)1,
15(1)31,
15(2)97,
15(5)303,
15(5)341,
16(1)24,
16(1)31,
16(1)40,
16(1)135,
16(5)395,
17(2)101,
18(1)55,
26(1)43,
26(6)945,
27(12)1633,
29(2)209,
29(6)701,
29(15)1833,
30(20)2059