A Divide & Conquer Approach to Leads-to Model Checking

Phyo, Y; Do, CM; Ogata, K

Ogata, K (通讯作者)，Japan Adv Inst Sci & Technol JAIST, Sch Informat Sci, Nomi, Ishikawa 9231211, Japan.

COMPUTER JOURNAL, 2022; 65 (6): 1353

Abstract

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索