提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-2404-09007AU-Wu，陶然AU-Yu、Yiqing奥夏，碧坎AU-Wang、Ji阿雪、白TI-随机动力系统安全概率不变性验证框架。JO-CoRR公司VL-abs/2404.090072024年上半年//DO-10.48550/ARXIV.2404.09007UR-（欧元）https://doi.org/10.48550/arXiv.2404.09007急诊室-