首页
|
本学科首页
官方微博
|
高级检索
相似文献
共查询到1条相似文献,搜索用时 0 毫秒
1.
An expectation-transformer model for probabilistic temporal logic
Morgan
C; McIver
AK
《Logic Journal of the IGPL》
1999,7(6):779-804
相似文献
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号