A Model Partitioning Method in Model Checking for Information and Control System
/ IEICE Transactions in Information and Systems
・Vol.108
・No.10
・2025