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{Groz:1985:ACD,
author = "Roland Groz and Claude Jard and Claire Lassudrie",
title = "Attacking a Complex Distributed Algorithm from
Different Sides: an Experience with Complementary
Validation Tools",
journal = j-COMP-NET-ISDN,
volume = "10",
number = "5",
pages = "245--257",
month = dec,
year = "1985",
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;
ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1985.bib;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
affiliation = "CNET, Lannion, Fr",
classification = "722; 723",
country = "NL",
date = "26/09/88",
descriptors = "Protocol Verification",
enum = "1218",
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
journalabr = "Comput Networks ISDN Syst",
keywords = "computer operating systems; computer programming;
computer systems, digital --- Distributed; distributed
algorithm; galaxie; mutual exclusion algorithm;
validation tools",
language = "English",
location = "UniS-IND",
references = "17",
revision = "21/04/91",
}
Related entries
- algorithm,
9(2)109,
9(4)257,
9(4)297,
11(1)1,
11(1)43,
12(1)27,
12(2)81,
12(2)89,
12(2)99,
12(3)139,
12(3)147,
12(5)311,
13(4)269,
13(4)301,
14(2)389,
15(1)1,
15(5)329,
16(3)179,
16(5)367,
16(5)383,
17(1)1,
17(1)29,
17(2)127,
17(3)201,
18(5)355,
18(z)243,
22(4)235,
22(4)265,
24(1)81,
25(10)1107,
26(2)227,
26(6)695,
26(9)1215,
26(11)1385,
27(2)255,
28(7)1037,
29(2)237,
29(3)343,
29(14)1587,
29(14)1661,
29(14)1705,
29(14)1737,
29(17)2053,
30(1)317,
30(11)1029,
30(20)1833,
30(22)2203,
30(24)2309
- complex,
27(2)193,
30(1)149
- different,
18(1)31,
18(5)335,
18(z)243,
20(1)189,
25(4)454,
25(12)1279,
26(3)253,
28(6)799
- Experience,
25(6)623,
27(4)591
- operating,
15(1)61,
15(1)73,
16(3)187,
17(1)37,
25(6)599,
28(7)941
- programming,
9(2)91,
9(2)109,
9(4)257,
11(1)1,
11(1)43,
12(1)27,
12(2)81,
12(2)99,
12(3)139,
12(3)147,
12(5)311,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
13(2)119,
13(4)301,
14(1)25,
14(1)61,
14(2)187,
14(3)3,
15(1)1,
15(2)121,
15(4)245,
15(5)329,
16(1)138,
16(5)367,
16(5)383,
17(2)127,
26(z)z-1,
27(2)193,
27(2)289,
27(6)823,
27(6)831,
27(6)841,
28(7)1037,
28(7)1149,
28(7)1291,
28(7)1373,
30(1)259
- side,
25(10)1107
- tool,
11(3)183,
13(2)65,
13(2)91,
14(2)311,
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
- validation,
9(5)353,
11(3)173,
11(3)183,
24(3)199,
24(3)219,
25(9)981,
28(12)1659,
29(1)15,
29(3)357