Inductive Temporal Formula Specifications for System Verification
書誌事項
- タイトル
- Inductive Temporal Formula Specifications for System Verification
- 著者
- Chikatoshi Yamada and Yasunori Nagata
収録刊行物
-
- Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.9, No.3
-
Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.9, No.3 321-328, 2005