. . . . . 《瓦伦蒂娜·卡斯蒂格利奥尼等人：EvTL：网络物理系统瞬态分析的时间逻辑》（2022）。 . . _：ID_f3843fefb1c7b5d656083849f6934ed7。_：ID_f3843fefb1c7b5d656083849f6934ed7 ._：ID_f3843fefb1c7b5d656083849f6934ed7 ._：ID_f3843fefb1c7b5d656083849f6934ed7“期刊/corr/abs-2204-13357”。 _：ID_ebff94e66cd07953f16084e22fafabca。_：ID_ebff94e66cd07953f16084e22fafabca ._：ID_ebff94e66cd07953f16084e22fafabca ._：ID_ebff94e66cd07953f16084e22fafabca“10.48550/ARXIV.2204.13357”。 “EvTL：用于网络物理系统瞬态分析的时间逻辑。”。 . . . . "3"^^. _：Sig_e0665ecca65b511a42ea5726eb26ea1b_1。_：Sig_e0665ecca65b511a42ea5726eb26ea1b_1 ._：Sig_e0665ecca65b511a42ea726eb26ea1b_1“瓦伦蒂娜·卡斯蒂格利奥尼”。_：Sig_e0665ecca65b511a42ea726eb26ea1b_1 ._：Sig_e0665ecca65b511a42ea5726eb26ea1b_1"1"^^._：Sig_e0665ecca65b511a42ea5726eb26ea1b_1 . _：Sig_e0665ecca65b511a42ea5726eb26ea1b_2。_：Sig_e0665ecca65b511a42ea5726eb26ea1b_2 ._：Sig_e0665ecca65b511a42ea5726eb26ea1b_2“米歇尔·洛雷蒂”。_：Sig_e0665ecca65b511a42ea5726eb26ea1b_2 ._：Sig_e0665ecca65b511a42ea726eb26ea1b_2“2”^^._：Sig_e0665ecca65b511a42ea5726eb26ea1b_2 . _：Sig_e0665ecca65b511a42ea5726eb26ea1b_3。_：Sig_e0665ecca65b511a42ea726eb26ea1b_3 ._：Sig_e0665ecca65b511a42ea5726eb26ea1b_3“西蒙·蒂尼”。_：Sig_e0665ecca65b511a42ea5726eb26ea1b_3 ._：Sig_e0665ecca65b511a42ea5726eb26ea1b_3"3"^^._：Sig_e0665ecca65b511a42ea5726eb26ea1b_3 . . . . “CoRR”。 “CoRR”。 “abs/2204.13357”。 "2022"^^. “dblp记录‘journals/corr/abs-2204-13357’的RDF数据的来源信息”。 . . . “2022-05-02T17:29:09+0200”。