Publisher
Springer International Publishing
Reference15 articles.
1. Bruse, F., Friedmann, O., Lange, M.: Guarded Transformation for the Modal mu-Calculus (2013). arXiv:1305.0648v2 , http://arxiv.org/abs/1305.0648
2. Clarke, E.M., Grumberg, O., Peled, D.: Moedel Checking. MIT Press, Cambridge (1999)
3. Emerson, E.A., Jutla, C.J.: The complexity of tree automata and logics of programs. SIAM J. Comput. 29, 132–158 (1999)
4. Ershov, A.P.: Origins of Programming: Discourses on Methodology. Springer, New York (1990)
5. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)