한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
- /
- Pages.904-906
- /
- 2005
- /
- 1598-5164(pISSN)
Symbolic Incremental CTL 모델 검증
On Symbolic Incremental CTL Model Checking
- Chae Jung-Wook (Department of Computer Science and Engineering Korea University) ;
-
In Hoh Peter
(Department of Computer Science and Engineering Korea University)
- 발행 : 2005.07.01