A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Vigan

Browse the full TIME paper archive.