Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties.”https://doi.org/10.1007/978-3-540-45099-3_12__In Proceedings of the 7th International Symposium on Static Analysis, 1824:220–39. Springer, 2000.https://doi.org/10.1007/978-3-540-45099-3_12 .
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12