Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
1999 | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer. https://doi.org/10.1007/3-540-49213-5_2
View
| DOI