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

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

Achieving distributed control through model checking

Achieving distributed control through model checking

Susanne Graf; Doron Peled; Sophie Quinton

作者Susanne Graf; Doron Peled; Sophie Quinton
卷第40卷
期第2期
印刷ISSN0925-9856
电子ISSN1572-8102
文件大小683.97KB
发表时间2012-04
DOI10.1007/s10703-011-0138-9
页码263-281

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