Search. Read. Cite.

Easy to search. Easy to read. Easy to cite with credible sources.

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