한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2012년도 춘계학술발표대회
- /
- Pages.265-268
- /
- 2012
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
양상논리를 포함한 BML 스펙 확장
The Extension of BML Specification including Modal Logic
- Kim, Seon-Tae (Dept of Computer and Information Engineering, Inha University) ;
- Kim, Je-Min (Dept of Computer and Information Engineering, Inha University) ;
- Park, Joon-Seok (Dept of Computer and Information Engineering, Inha University) ;
- Yoo, Won-Hee (Dept of Computer and Information Engineering, Inha University)
- 발행 : 2012.04.26