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

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

An Epistemic Predicate CTL* for Finite Control π-Processes

An Epistemic Predicate CTL* for Finite Control π-Processes

Dimitar P. Guelev; Mads Dam

作者Dimitar P. Guelev; Mads Dam
卷第278卷
印刷ISSN1571-0661
文件大小284.92KB
发表时间2011
DOI10.1016/j.entcs.2011.10.018
页码229-243

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