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

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

Parameterized verification

Parameterized verification

Abdulla, Parosh A.; Delzanno, Giorgio

期刊名称International Journal on Software Tools for Technology Transfer
作者Abdulla, Parosh A.; Delzanno, Giorgio
卷第18卷
期第5期
印刷ISSN1433-2779
电子ISSN1433-2787
文件大小399.11KB
发表时间2016-10-24
DOI10.1007/s10009-016-0424-3
页码469-473

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