发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

System design of stochastic models using robustness of temporal properties

System design of stochastic models using robustness of temporal properties

Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido

期刊名称Theoretical Computer Science
作者Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
卷第587卷
印刷ISSN0304-3975
文件大小2353.15KB
发表时间2015-07
DOI10.1016/j.tcs.2015.02.046
页码3-25

← 返回【学霸图书馆】主页