Buchi 오토매타를 이용한 프로토콜 명세와 검증 방법Protocol Specification and Verification Method Using Buchi Automata.
- Issue Date
- 1991
- Language
- KOR
- Citation
Proceedings of KISS Conference, pp.199 - 202
- Appears in Collection
- CS-Conference Papers(학술회의논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.