@Article{	  basin.ea:labelled:2009,
  author	= {David Basin and Carlos Caliero and Jaime Ramos and Luca
		  Vigano},
  copyright	= {IEEE Computer Society},
  copyrighturl	= {http://dx.doi.org/10.1109/TIME.2008.21},
  journal	= {Journal of Logic and Computation},
  language	= {USenglish},
  number	= 6,
  pages		= {1245--1279},
  title		= {Labelled Tableaux for Distributed Temporal Logic},
  volume	= 19,
  year		= 2009,
  user		= {bgeiser}
}