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{Nitsche:1996:VBA,
author = "Ulrich Nitsche",
title = "Verification and Behavior Abstraction Towards a
Tractable Verification Technique for Large Distributed
Systems",
journal = j-J-SYST-SOFTW,
volume = "33",
number = "3",
pages = "273--285",
month = jun,
year = "1996",
CODEN = "JSSODM",
ISSN = "0164-1212",
bibdate = "Wed Dec 16 08:24:49 MST 1998",
acknowledgement = ack-nhfb,
}
Related entries
- abstraction,
1(4)307,
2(2)177,
2(3)213,
3(4)255,
17(2)169,
40(3)227,
42(2)175,
60(2)103
- behavior,
3(2)123,
4(2)135,
7(4)341,
14(1)51,
28(3)239,
55(1)67,
57(2)107
- large,
1(1)71,
1(2)131,
4(4)277,
7(2)99,
7(4)297,
9(z)51,
20(3)267,
23(2)151,
37(1)61,
40(2)151,
43(1)11,
47(2)75,
47(2)97,
56(2)165,
56(3)231,
62(1)11,
65(2)87,
67(2)99,
67(2)123,
71(3)215,
72(3)431,
73(1)133,
73(2)323,
74(2)133,
75(1)189
- Nitsche, Ulrich,
40(3)227
- 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,
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(1)51,
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
- toward,
7(1)73,
14(1)17,
15(1)63,
17(2)189,
18(2)125,
29(3)219,
30(1)71,
33(1)65,
42(3)193,
45(1)19,
47(2)89,
47(2)139,
50(2)117,
53(1)3,
54(2)99,
65(3)227,
67(1)1,
68(3)253,
74(1)15,
77(1)47
- verification,
3(3)193,
7(1)15,
7(2)89,
7(2)109,
7(2)145,
14(3)183,
16(1)29,
21(3)199,
26(2)103,
29(3)261,
32(2)135,
39(2)119,
39(3)223,
40(3)199,
40(3)227,
42(1)45,
65(3)199,
68(2)153,
70(1)95,
74(3)243