A study on implementation of model checking tool for verifying LTS specifications.
| Autor: | Jaeyoun Jung, Youngeung Kim, Yeondae Chung, Cheoljoo Jeong, Sungun Kim |
|---|---|
| Zdroj: | Proceedings Twelfth International Conference on Information Networking (ICOIN-12); 1998, p539-543, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|