Articles by C Caleiro (1)

Labelled Tableaux for Distributed Temporal Logic

D Basin, C Caleiro, J Ramos and L. Vigano

Journal of Logic and Computation 19 ( 6 ): 1245 - 1279 , 2009