BCTL: A Branching Clock Temporal Logic.

Chuchang Liu, Mehmet A. Orgun

Browse the full TIME paper archive.