Maier, Patrick Programming Logics, MPI for Informatics, Max Planck Society;
Marcinkowski, Jerzy Programming Logics, MPI for Informatics, Max Planck Society;
Maier, P. (2004). Intuitionistic LTL and a New Characterization of Safety and Liveness. In Computer science logic: 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL (pp. 295-309). Berlin: Springer.