发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Local model checking for infinite state spaces

Local model checking for infinite state spaces

Julian Bradfield; Colin Stirling

作者Julian Bradfield; Colin Stirling
卷第96卷
期第1期
印刷ISSN0304-3975
文件大小970.78KB
发表时间1992
DOI10.1016/0304-3975(92)90183-g
页码157-174

← 返回【学霸图书馆】主页