Compositional Model Checking for Multi-properties
Compositional Model Checking for Multi-properties
复制标题
多属性的组合模型检查
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Sarai Sheinvald
中科院分区：
文献类型：
--
作者：
Ohad Goudsmid;O. Grumberg;Sarai Sheinvald
1缩略语和符号3
1 Abbreviations and Notations 3
DOI：
10.1007/978-3-642-27940-9_12
发表时间：
2012-01
期刊：
--
影响因子：
--
作者：
Rayna Dimitrova;B. Finkbeiner;Máté Kovács;M. Rabe;H. Seidl
通讯作者：
Rayna Dimitrova;B. Finkbeiner;Máté Kovács;M. Rabe;H. Seidl
有限词超语言
DOI：
--
发表时间：
2021
期刊：
15th International Conference on Language and Automata Theory and Applications (LATA
影响因子：
--
作者：
Bonakdarpour, Borzoo;Sheinvald, Sarai
通讯作者：
Sheinvald, Sarai
DOI：
10.1007/978-3-030-32079-9_5
发表时间：
2019
期刊：
影响因子：
--
作者：
Christopher Hahn
通讯作者：
Christopher Hahn