登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
An algebraic approach to multi-valued model checking
作者:Wu Jinzhao
*
; Zhao Lin
来源:
7th International Conference on Application of Concurrency to System Design
, 2007-07-10 to 2007-07-13.
DOI:10.1109/ACSD.2007.44
出版日期
2007
单位
电子科技大学
全文
全文
访问全文
相似论文
引用论文
参考文献