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{Ural:1986:SVC,
author = "Hasan Ural and Robert L. Probert",
title = "Step-Wise Validation of Communication Protocols and
Services",
journal = j-COMP-NET-ISDN,
volume = "11",
number = "3",
pages = "183--202",
month = mar,
year = "1986",
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 Ottawa, Ottawa, Ont, Can",
classification = "723",
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
journalabr = "Comput Networks ISDN Syst",
keywords = "computer networks --- Protocols; computers; design
tools; executable specifications; protocol validation",
}
Related entries
- executable,
24(1)33
- specification,
11(5)353,
12(3)147,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
13(2)119,
14(1)25,
14(3)3,
16(1)21,
16(4)311,
17(2)111,
18(5)335,
18(z)167,
23(5)363,
24(3)199,
25(1)23,
25(7)779,
25(7)815,
26(2)233,
27(8)1247,
29(1)81,
29(4)393,
29(4)397,
29(4)437,
29(4)457,
29(4)473,
30(1)225,
30(11)1045,
30(19)1735
- tool,
10(5)245,
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
- Ural, Hasan,
27(7)1111
- validation,
9(5)353,
10(5)245,
11(3)173,
24(3)199,
24(3)219,
25(9)981,
28(12)1659,
29(1)15,
29(3)357