1.Exploiting local persistency for reduced state-space generation
Barkaoui, K, Bouchen More...
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING[1614-5046], Published 2020, Volume 16, Issue 2, Pages 181-197
收錄情况： WOS SCOPUS
WOS核心合集引用: 6 2023影響因子: 1.1
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫