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

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

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability

Seufert, Tobias; Scholl, Christoph

作者Seufert, Tobias; Scholl, Christoph
文件大小156.40KB
发表时间2019
DOI10.23919/DATE.2019.8714819
页码456-461

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