Smoothed model checking for uncertain Continuous-Time Markov Chains
- 期刊名称Information and Computation
- 作者Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido
- 印刷ISSN0890-5401
- 文件大小1329.39KB
- 发表时间2016-1
- DOI10.1016/j.ic.2016.01.004
同期刊推荐
Arc crustal differentiation mechanismsJagoutz, Oliver · Earth and Planetary Science Letters · 2014
Editorial BoardEarth and Planetary Science Letters · 2013
Microseisms from Superstorm SandySufri, Oner; Koper, Keith D.; Burlacu, Relu; de Foy, Benjamin · Earth and Planetary Science Letters · 2014
Editorial BoardEarth and Planetary Science Letters · 2013
Editorial BoardEarth and Planetary Science Letters · 2013
Editorial BoardEarth and Planetary Science Letters · 2013
Editorial BoardEarth and Planetary Science Letters · 2013
Editorial BoardEarth and Planetary Science Letters · 2013