@article{bauer:hal-01313730, TITLE = {{Decentralised LTL Monitoring}}, AUTHOR = {Bauer, Andreas and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01313730}, JOURNAL = {{Formal Methods in System Design}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {48}, NUMBER = {1-2}, PAGES = {48}, YEAR = {2016}, MONTH = May, DOI = {10.1007/s10703-016-0253-8}, PDF = {https://inria.hal.science/hal-01313730/file/fmsd3-author.pdf}, HAL_ID = {hal-01313730}, HAL_VERSION = {v1}, }