Full Characterisation of Extended CTL.

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron

Browse the full TIME paper archive.