Bringing LTL Model Checking to Biologists
Bringing LTL Model Checking to Biologists
复制标题
为生物学家提供 LTL 模型检查
DOI：
10.17863/cam.8964
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Ahmed Z
中科院分区：
文献类型：
--
作者：
Ahmed Z
登录
查看更多内容
微软机器人框架
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
Manisha Biswas
通讯作者：
Manisha Biswas
通过减少可达性集对信号传导网络进行模型检查
DOI：
--
发表时间：
2013
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Koen Claessen;J. Fisher;Samin S. Ishtiaq;Nir Piterman;Qinsi Wang
通讯作者：
Qinsi Wang
发现生物模型中的不稳定性
DOI：
--
发表时间：
2014
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Byron Cook;J. Fisher;B. Hall;Samin S. Ishtiaq;Garvit Juniwal;Nir Piterman
通讯作者：
Nir Piterman
影响因子：
11.2
作者：
Remy, Elisabeth;Rebouissou, Sandra;Calzone, Laurence
通讯作者：
Calzone, Laurence
微软认知服务
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
Rei Kawakami
通讯作者：
Rei Kawakami