Model Checking Timed Recursive CTL.

Florian Bruse, Martin Lange

Browse the full TIME paper archive.