2000): The Common Fragment of CTL and LTL (0)

by M Maidl
Venue:In: Foundations of Computer Science (FOCS