A Model Partitioning Method in Model Checking for Information and Control System
['Kei KOGAI', 'Yoshikazu UEDA']
/
IEICE Transactions in Information and Systems
/ Vol. 108
/ No. 10