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

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

Abstract Regular Tree Model Checking

Abstract Regular Tree Model Checking

Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar

作者Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar
卷第149卷
期第1期
印刷ISSN1571-0661
文件大小252.96KB
发表时间2006
DOI10.1016/j.entcs.2005.11.015
页码37-48

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