@article{colombo:hal-01315776, TITLE = {{Organising LTL Monitors over Distributed Systems with a Global Clock}}, AUTHOR = {Colombo, Christian and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01315776}, JOURNAL = {{Formal Methods in System Design}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {49}, NUMBER = {1-2}, PAGES = {50}, YEAR = {2016}, MONTH = May, DOI = {10.1007/s10703-016-0251-x}, PDF = {https://inria.hal.science/hal-01315776/file/fmsd4.pdf}, HAL_ID = {hal-01315776}, HAL_VERSION = {v1}, }