[IEEE Comput. Soc Twelfth International Conference on Information Networking (ICOIN-12) - Tokyo, Japan (21-23 Jan. 1998)] Proceedings Twelfth International Conference on Information Networking (ICOIN-12) - A study on implementation of model checking tool for verifying LTS specifications
Jaeyoun Jung,, Youngeung Kim,, Yeondae Chung,, Cheoljoo Jeong,, Sungun Kim,Year:
1998
Language:
english
DOI:
10.1109/icoin.1998.648443
File:
PDF, 60 KB
english, 1998