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{Gouda:1985:PVF,
author = "Mohamed G. Gouda and Ji-Yun Han",
title = "Protocol Validation by Fair Progress State
Exploration",
journal = j-COMP-NET-ISDN,
volume = "9",
number = "5",
pages = "353--361",
month = may,
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;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
affiliation = "Univ of Texas at Austin, Austin, TX, USA",
classification = "718; 723; 921",
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
journalabr = "Comput Networks ISDN Syst",
keywords = "automata theory --- Finite Automata; computer
networks; decision of node reachability; fair
reachability graphs; mathematical techniques --- Graph
Theory; validation of protocols",
}
Related entries
- automata,
11(5)367,
13(2)65,
15(4)285
- exploration,
29(8)1249
- fair,
26(6)757,
30(11)1013
- finite,
11(5)367,
13(2)65,
15(4)285,
22(1)7,
24(1)45,
26(5)525,
26(9)1169,
28(5)653,
28(13)1809,
29(1)81,
30(12)1111
- graph,
10(5)275,
13(4)269,
15(4)229,
28(7)1105,
30(1)11,
30(1)225,
30(8)805
- mathematical,
9(3)175,
9(4)257,
10(5)275,
13(4)269,
15(2)121,
15(4)229,
16(1)150,
16(4)267,
17(1)1,
17(1)15,
17(1)29
- node,
11(z)287,
12(5)291,
17(2)127,
21(2)109,
25(10)1107,
25(12)1279,
26(6)695
- progress,
26(3)269
- state,
10(2)111,
13(3)249,
16(1)89,
21(3)149,
22(1)7,
22(3)213,
25(4)512,
25(11)1177,
28(7)1407,
29(1)81,
30(12)1111
- technique,
10(5)275,
11(5)337,
12(2)81,
13(4)269,
14(1)25,
14(2)311,
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
- theory,
9(3)191,
10(2)111,
10(5)275,
11(2)111,
11(5)367,
12(2)89,
12(5)329,
13(2)65,
13(4)269,
15(4)229,
15(4)285,
15(5)359,
17(1)1,
17(1)15,
20(1)425,
22(1)7,
30(16)1579
- validation,
10(5)245,
11(3)173,
11(3)183,
24(3)199,
24(3)219,
25(9)981,
28(12)1659,
29(1)15,
29(3)357