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

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

LTL satisfiability checking

LTL satisfiability checking

Kristin Y. Rozier; Moshe Y. Vardi

作者Kristin Y. Rozier; Moshe Y. Vardi
卷第12卷
期第2期
印刷ISSN1433-2779
电子ISSN1433-2787
文件大小887.64KB
发表时间2010-05
DOI10.1007/s10009-010-0140-3
页码123-137

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