Last update: Sat Mar 2 02:07:13 MST 2019
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{Kwiatkowska:2006:MCE,
author = "M. Kwiatkowska and G. Norman and A. Pacheco",
title = "Model checking expected time and expected reward
formulae with random time bounds",
journal = j-COMPUT-MATH-APPL,
volume = "51",
number = "2",
pages = "305--316",
month = jan,
year = "2006",
CODEN = "CMAPDK",
ISSN = "0898-1221 (print), 1873-7668 (electronic)",
ISSN-L = "0898-1221",
bibdate = "Wed Mar 1 21:49:49 MST 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computmathappl2000.bib",
URL = "http://www.sciencedirect.com/science/article/pii/0898122105004682",
acknowledgement = ack-nhfb,
fjournal = "Computers and Mathematics with Applications",
journal-URL = "http://www.sciencedirect.com/science/journal/08981221",
}
Related entries
- bound,
39(3)31,
39(7)1,
39(9)91,
39(12)63,
41(3)269,
41(3)483,
41(7)957,
43(6)911,
43(8)1153,
43(10)1303,
44(5)587,
44(5)595,
44(7)943,
45(10)1739,
46(2)421,
46(2)445,
47(1)83,
47(2)233,
49(4)575,
49(11)1643,
50(3)509,
50(3)599,
50(7)1061,
52(10)1555,
52(12)1695,
53(1)64,
53(3)665,
53(7)1050,
54(9)1250,
56(4)909,
56(11)2825,
57(5)789,
57(10)1708,
58(1)161
- expected,
55(6)1215,
56(8)2107
- formulae,
42(3)551,
45(6)1163,
54(1)9,
56(11)2915
- Pacheco, A.,
51(2)291
- random,
39(1)215,
39(11)xv--xviii,
39(12)79,
41(10)1465,
42(10)1331,
43(6)747,
43(10)1319,
45(1)247,
46(7)1009,
46(7)1065,
47(2)217,
47(6)1153,
47(8)1309,
47(8)1478,
47(8)1481,
48(1)257,
49(2)331,
49(7)997,
49(7)1233,
49(9)1375,
49(11)1929,
50(1)255,
50(1)321,
50(5)719,
51(3)387,
52(1)95,
52(3)485,
52(6)917,
52(12)1683,
53(2)329,
53(7)1098,
54(5)687,
55(4)704,
55(8)1766,
55(9)2173,
56(2)469,
56(3)785,
56(8)1905,
56(10)2650,
57(4)624,
57(6)961,
57(7)1232,
57(8)1352
- time,
39(3)266,
40(4)577,
42(3)399,
43(1)15,
43(1)157,
43(6)721,
43(12)1521,
45(6)1101,
45(6)1339,
45(10)1729,
46(2)213,
46(5)783,
46(7)1095,
46(7)1139,
46(8)1397,
47(2)233,
47(10)1659,
47(10)1725,
48(3)637,
48(7)1101,
48(9)1351,
49(1)131,
49(2)271,
49(4)539,
49(4)599,
49(5)871,
49(7)963,
49(7)1045,
49(9)1327,
50(10)1603,
51(2)209,
51(3)387,
52(3)555,
52(6)1067,
52(8)1357,
53(1)12,
53(10)1473,
53(11)1658,
53(12)1820,
53(12)1904,
54(1)45,
54(2)282,
54(4)467,
54(5)679,
54(6)861,
55(6)1310,
55(8)1693,
55(8)1861,
55(12)2762,
56(4)1138,
56(4)1155,
56(4)1157,
56(5)1271,
56(6)1496,
56(8)2010,
56(9)2371,
56(9)2429,
56(10)2744,
56(10)2757,
56(12)3015,
56(12)3052,
57(1)9,
57(2)275,
57(3)436,
57(5)799,
57(6)937,
57(7)1204,
57(9)1554,
58(2)216,
58(2)281,
58(2)348,
58(3)548,
58(3)597,
58(4)700,
58(6)1207,
58(9)1736,
58(10)2035,
61(9)2924