@INPROCEEDINGS {6930,
author={D. Basin and C. Caleiro and J. Ramos and L. Viganò},
doi={},
booktitle={Symp. on Temporal Representation and Reasoning},
title={Labeled tableaux for distributed temporal logic},
year={2008},
month={June},
volume={-},
pages={101-109} 
}