An Overview of the HFL Model Checking Project
An Overview of the HFL Model Checking Project
复制标题
HFL 模型检查项目概述
DOI：
10.4204/eptcs.344.1
复制
发表时间：
2021
影响因子：
--
通讯作者：
Kobayashi Naoki
中科院分区：
文献类型：
--
作者：
Hyuno Kim;Yuji Yamakawa;Masatoshi Ishikawa;Kobayashi Naoki
登录
查看更多内容
DOI：
10.1007/3-540-49727-7_15
发表时间：
1998-09
期刊：
--
影响因子：
--
作者：
J. Peralta;J. Gallagher;Hüseyin Saglam
通讯作者：
J. Peralta;J. Gallagher;Hüseyin Saglam
影响因子：
1.4
作者：
De Angelis, Emanuele;Fioravanti, Fabio;Proietti, Maurizio
通讯作者：
Proietti, Maurizio
DOI：
10.1007/978-3-642-54833-8_21
发表时间：
2014-04
期刊：
--
影响因子：
--
作者：
Takuya Kuwahara;Tachio Terauchi;Hiroshi Unno;N. Kobayashi
通讯作者：
Takuya Kuwahara;Tachio Terauchi;Hiroshi Unno;N. Kobayashi
DOI：
10.1145/2429069.2429081
发表时间：
2013-01
期刊：
--
影响因子：
--
作者：
Hiroshi Unno;Tachio Terauchi;N. Kobayashi
通讯作者：
Hiroshi Unno;Tachio Terauchi;N. Kobayashi
组合谓词和断续谓词抽象的CLP方法
DOI：
10.1007/11609773_2
发表时间：
2006
期刊：
--
影响因子：
--
作者：
J. Jaffar;A. Santosa;R. Voicu
通讯作者：
R. Voicu