Temporal Logics for Real-time System Specification
書誌事項
- 公開日
- 2000
収録刊行物
-
- ACM Comput. Surv. (CSUR)
-
ACM Comput. Surv. (CSUR) 32 (1), 12-42, 2000
ACM Comput. Surv. (CSUR) 32 (1), 12-42, 2000
