@InProceedings{bauer:falcone:FM12,
  author =	 {Andreas Bauer and Ylies Falcone},
  editor =       {D. Giannakopoulou and D. Mery},
  title =	 {Decentralised {LTL} monitoring},
  booktitle =	 {Proceedings of the 18th International Symposium on Formal Methods (FM)},
  year =	 2012,
  series =	 {Lecture Notes in Computer Science},
  volume =	 7436,
  pages =        {85--100},
  month =	 Aug,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {}
}