A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information.
| Autor: | Ribeiro, Jandson S., Andrade, Aline |
|---|---|
| Zdroj: | Formal Methods & Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings; 2015, p84-99, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|