The Tail-Recursive Fragment of Timed Recursive CTL.

Florian Bruse, Martin Lange, tienne Lozes

Browse the full TIME paper archive.