Policy Controlled System and Its Model Checking
書誌事項
- タイトル
- Policy Controlled System and Its Model Checking
- 著者
- S.Kuninobu, et al.
収録刊行物
-
- IEICE Transactions on Information and Systems E88-D(印刷中)
-
IEICE Transactions on Information and Systems E88-D(印刷中) 2005