The existence of finite abstractions for branching time model checking.
| Autor: | Dams, D., Namjoshi, K.S. |
|---|---|
| Zdroj: | Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004; 2004, p335-344, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|