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

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

Trail-Directed Model Checking

Trail-Directed Model Checking

Stefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue

作者Stefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue
卷第55卷
期第3期
印刷ISSN1571-0661
文件大小299.04KB
发表时间2001
DOI10.1016/s1571-0661(04)00261-0
页码343-356

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