Property Specification Patterns for Modal $\mu$ -Calculus
(양상 뮤 논리를 위한 속성 명세 패턴)
-
- Proceedings of the Korean Information Science Society Conference
- /
- 2001.04a
- /
- pp.598-600
- /
- 2001