양상 뮤 논리를 위한 속성 명세 패턴
(Property Specification Patterns for Modal $\mu$ -Calculus)
-
- 한국정보과학회:학술대회논문집
- /
- 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
- /
- pp.598-600
- /
- 2001