@InProceedings{BCRV08,
author    = {Basin, David and Caleiro, Carlos and Ramos, Jaime and Vigan{\`o}, Luca},
title     = {{A Labeled Tableaux System for the Distributed Temporal Logic DTL}},
editor    = {Demri, S. and Jensen, C.S.},
booktitle = {Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008)},
pages = {101--109},
publisher = {IEEE Computer Society Press},
year = {2008},
}