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{Tretmans:1996:CTL,
author = "Jan Tretmans",
title = "Conformance testing with labelled transition systems:
{Implementation} relations and test generation",
journal = j-COMP-NET-ISDN,
volume = "29",
number = "1",
pages = "49--79",
day = "1",
month = dec,
year = "1996",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Fri Sep 24 20:21:38 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/cna/cas_free/browse/browse.cgi?year=1996&volume=29&issue=1;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/comnet/cas_sub/browse/browse.cgi?year=1996&volume=29&issue=1&aid=1570",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- conformance,
13(3)149,
14(1)79,
15(1)47,
15(4)285,
17(2)111,
17(4)367,
18(1)19,
22(1)7,
25(11)1243,
27(5)703,
29(1)3,
30(14)1277
- generation,
15(4)285,
24(5)349,
25(8)947,
27(2)205,
27(4)591,
27(6)729,
28(7)1085,
29(1)107,
29(2)237,
29(14)1737,
30(1)75,
30(11)1045,
30(20)2015
- implementation,
9(4)267,
11(2)133,
11(5)353,
11(z)277,
12(3)147,
14(1)61,
14(2)279,
14(2)283,
14(2)365,
16(1)108,
16(1)116,
16(1)119,
16(1)121,
17(2)89,
17(4)344,
17(4)362,
17(4)367,
18(1)31,
22(1)7,
22(1)51,
25(1)23,
25(4)469,
25(7)841,
25(8)921,
25(10)1127,
25(11)1177,
26(3)253,
26(11)1425,
26(12)1523,
27(5)677,
27(9)1367,
29(3)315,
30(1)757,
30(13)1201,
30(16)1467,
30(16)1617,
30(22)2113,
z(z)183
- relation,
25(1)23,
30(22)2105
- test,
14(1)79,
15(4)285,
17(2)111,
18(1)19,
23(5)417,
24(1)65,
26(12)1581,
27(4)591,
27(7)1111,
27(7)1163,
29(1)15,
29(1)81,
29(1)107,
30(12)1111,
30(14)1277,
30(16)1597
- testing,
11(z)277,
12(3)175,
13(3)149,
14(1)79,
15(1)47,
15(4)285,
17(2)77,
17(2)111,
18(1)19,
22(1)7,
25(11)1243,
27(4)537,
27(5)703,
28(12)1669,
29(1)3,
29(1)107,
30(16)1617
- transition,
12(3)159,
16(1)94,
23(1)129,
25(8)947