Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Keyword(s):
Keyword(s):
2000 ◽
Vol 1
(1)
◽
pp. 162-170
◽
Keyword(s):
Keyword(s):
2016 ◽
Vol 247
◽
pp. 235-253
◽
2000 ◽
pp. 358-372
◽
Keyword(s):
1999 ◽
pp. 146-161
◽
Keyword(s):