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{Courtiat:1992:EIE,
author = "J.-P. Courtiat and P. {De Saqui-Sannes}",
title = "{ESTIM}: an integrated environment for the simulation
and verification of {OSI} protocols specified in
{Estelle}",
journal = j-COMP-NET-ISDN,
volume = "25",
number = "1",
pages = "83--??",
day = "03",
month = aug,
year = "1992",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Wed Sep 22 18:15:30 MDT 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- environment,
11(5)383,
12(1)1,
13(2)75,
13(2)91,
13(4)323,
15(5)369,
16(1)138,
16(3)197,
16(5)357,
17(4)294,
18(1)19,
20(1)361,
21(3)149,
23(1)43,
23(1)101,
23(4)241,
23(4)253,
25(1)43,
25(4)577,
26(12)1523,
26(z)z-1,
27(2)289,
27(6)729,
27(6)831,
27(6)861,
27(6)905,
28(1)109,
28(7)1027,
28(7)1095,
28(7)1149,
28(7)1219,
28(7)1501,
28(14)1887,
28(14)1971,
29(8)865,
29(8)1479,
29(14)1635,
29(14)1727,
29(15)1777,
29(16)1881,
29(17)2165,
30(1)699,
30(1)742,
30(16)1447
- Estelle,
13(2)75,
14(2)311,
14(3)3,
22(1)51,
23(5)343,
25(1)63,
25(7)741,
25(7)841
- integrated,
9(3)175,
9(3)223,
9(5)329,
10(1)1,
10(3)135,
10(3)157,
10(3)167,
10(3)195,
10(3)203,
10(3)211,
11(2)87,
11(2)89,
12(1)11,
12(4)209,
12(4)209,
12(4)225,
12(4)231,
12(4)235,
13(1)21,
13(2)75,
13(2)91,
13(3)219,
13(3)245,
13(4)269,
13(4)291,
14(2)123,
14(2)155,
14(2)237,
14(2)251,
14(2)323,
14(2)331,
14(2)339,
14(2)359,
15(1)27,
15(1)31,
15(2)87,
15(4)269,
15(5)303,
15(5)359,
16(3)197,
16(3)217,
16(4)281,
16(5)395,
17(1)37,
17(1)47,
17(2)149,
18(1)1,
20(1)143,
23(1)185,
23(4)317,
24(2)131,
24(5)421,
25(1)43,
25(2)191,
25(3)241,
25(4)469,
25(8)921,
25(10)1079,
25(10)1089,
26(3)275,
26(4)459,
26(6)711,
27(10)1457,
27(11)1523,
28(4)481,
28(6)811,
28(7)1095,
29(5)595,
29(7)811,
29(17)2165
- OSI,
9(4)267,
9(5)329,
11(3)173,
11(z)277,
12(3)159,
13(3)149,
14(1)79,
14(2)291,
15(1)61,
15(4)269,
16(1)31,
16(1)83,
16(1)94,
16(1)108,
16(1)121,
16(1)143,
16(1)150,
16(1)167,
17(4)270,
17(4)279,
17(4)284,
17(4)287,
17(4)294,
18(1)31,
18(z)167,
23(1)11,
23(1)87,
23(1)171,
23(4)241,
23(4)253,
23(5)343,
24(1)65,
25(3)227,
25(4)384,
25(4)405,
25(4)420,
25(4)483,
25(4)540,
25(4)554,
25(8)933,
25(11)1243,
26(2)217,
26(2)233,
26(2)239,
26(3)337,
27(4)571,
27(9)1367
- simulation,
9(5)345,
10(3)211,
11(1)1,
11(1)15,
12(1)39,
12(2)99,
13(4)269,
15(5)329,
16(3)197,
19(2)79,
20(1)7,
22(3)225,
25(2)121,
26(5)481,
27(2)289,
27(3)387,
29(6)617,
29(14)1675,
29(17)2165,
30(14)1341,
30(16)1597,
30(20)2037
- specified,
11(z)277,
27(6)1009
- verification,
25(7)779,
25(9)969,
25(12)1303