@inproceedings{Bauer_Falcone_12,
    publisher        = {Springer},
    booktitle        = {International Symposium on Formal Methods (FM)},
    month            = aug,
    abstractlink     = {http://www.nicta.com.au/pub?id=5649},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5649.pdf},
    year             = {2012},
    title            = {Decentralised {LTL} Monitoring},
    pages            = {88-100},
    author           = {Bauer, Andreas and Falcone, Ylies},
    address          = {Paris/France},
    annote           = {HACK for award annotation}
  }