Last update: Sun Mar 31 02:13:37 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{Rusu:2006:VAP,
author = "Vlad Rusu",
title = "Verifying an {ATM} Protocol Using a Combination of
Formal Techniques",
journal = j-COMP-J,
volume = "49",
number = "6",
pages = "710--730",
month = nov,
year = "2006",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxl039",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Apr 28 14:33:32 MDT 2010",
bibsource = "http://comjnl.oxfordjournals.org/content/vol49/issue6/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
URL = "http://comjnl.oxfordjournals.org/cgi/content/abstract/49/6/710;
http://comjnl.oxfordjournals.org/cgi/content/full/49/6/710;
http://comjnl.oxfordjournals.org/cgi/reprint/49/6/710",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- ATM,
43(4)266
- Formal,
35(0)335,
45(1)1,
45(1)46,
49(1)4,
50(1)129
- protocol,
0(0)xi--420,
0(0)xvi--848,
0(0)xxxii--648,
43(1)24,
43(1)65,
44(1)21,
44(3)201,
44(5)448,
44(5)463,
45(1)46,
45(1)101,
45(2)162,
46(2)146,
46(2)193,
46(2)z,
46(4)421,
47(4)507,
48(1)27,
48(3)333,
48(4)480,
49(1)82,
49(2)190,
49(2)251,
49(5)541,
50(1)41,
50(2)204,
50(5)589,
50(5)591,
50(5)602,
52(2)186,
52(4)461,
52(4)483
- techniques,
45(5)494,
47(1)103,
47(3)329,
48(5)588,
49(1)97,
49(4)443,
50(2)248,
50(2)249,
50(6)758,
51(1)7,
51(1)122
- using,
43(2)130,
44(4)230,
44(4)246,
45(1)72,
45(1)88,
45(4)381,
45(4)410,
45(4)423,
45(6)631,
45(6)645,
46(1)100,
46(4)401,
46(4)427,
46(5)498,
47(1)71,
47(3)373,
48(1)84,
48(2)200,
48(2)220,
48(3)333,
48(3)369,
49(2)137,
49(2)180,
49(2)234,
49(4)400,
49(6)634,
50(5)535,
50(6)674,
51(2)227,
51(4)435,
51(4)470,
52(1)31,
52(1)64,
52(2)171,
52(5)557,
52(6)724
- Verifying,
43(3)191,
50(3)294