Last update: Thu Jun 20 02:01:00 MDT 2019
Top |
Symbols |
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{Lafrance:2006:UEC,
author = "St{\'e}phane Lafrance",
title = "Using equivalence-checking to verify robustness to
denial of service",
journal = j-COMP-NET-AMSTERDAM,
volume = "50",
number = "9",
pages = "1327--1348",
day = "20",
month = jun,
year = "2006",
CODEN = "????",
ISSN = "1389-1286 (print), 1872-7069 (electronic)",
ISSN-L = "1389-1286",
bibdate = "Sat Apr 2 08:42:11 MDT 2011",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetamsterdam2000.bib",
acknowledgement = ack-nhfb,
fjournal = "Computer Networks",
journal-URL = "http://www.sciencedirect.com/science/journal/13891286",
}
Related entries
- denial,
48(5)781,
49(3)449,
51(5)1299,
51(10)2753,
51(12)3564
- robustness,
50(10)1639
- using,
32(1)61,
32(1)81,
32(2)229,
32(4)419,
33(1)377,
33(1)669,
33(1)803,
34(1)49,
34(3)379,
34(4)547,
34(4)597,
34(4)671,
34(6)861,
35(4)429,
35(6)667,
36(1)87,
36(2)117,
36(5)597,
37(3)481,
37(5)631,
39(2)207,
39(4)405,
39(5)559,
39(5)645,
40(1)19,
40(1)111,
40(1)181,
40(2)279,
41(2)227,
41(4)407,
41(4)435,
41(5)667,
42(5)599,
42(6)737,
42(6)797,
43(3)289,
43(6)805,
44(1)63,
44(3)335,
44(6)813,
45(3)345,
45(6)767,
46(4)479,
46(4)555,
46(5)651,
46(5)709,
47(5)603,
47(6)785,
48(2)113,
48(2)235,
49(4)535,
49(5)627,
49(6)816,
50(5)599,
50(6)763,
50(7)938,
50(9)1406,
50(10)1488,
50(10)1599,
50(11)1692,
50(12)1916,
50(15)2577,
50(15)2855,
50(16)3064,
50(18)3523,
50(18)3721,
50(18)3743,
51(3)559,
51(3)569,
51(3)606,
51(4)1031,
51(4)1052,
51(5)1256,
51(5)1315,
51(8)2163,
51(10)2892,
51(12)3380,
51(12)3471,
51(15)4396,
51(16)4514,
51(16)4543,
51(18)4951,
52(7)1506,
52(9)1745,
52(12)2344,
52(12)2411,
52(13)2461,
52(16)3130,
53(1)98,
53(3)279,
53(7)883,
53(7)961,
53(9)1341,
53(9)1530,
53(12)2225,
53(15)2617,
53(15)2727,
53(18)3042,
53(18)3076