On the Hybrid Extension of CTL and CTL

Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick

Browse the full MFCS paper archive.