Computation tree logic CTL (1987)

by T Hafer, W Thomas
Venue:In Proceedings of ICALP’87: International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 267:269– 279