%0 Journal Article %1 journals/fmsd/0002F16 %A Bauer, Andreas %A Falcone, Yliès %D 2016 %J Formal Methods Syst. Des. %K %N 1-2 %P 46-93 %T Decentralised LTL monitoring. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd48.html#0002F16 %V 48

@article{journals/fmsd/0002F16, added-at = {2023-12-13T09:25:58.000+0100}, author = {Bauer, Andreas and Falcone, Yliès}, biburl = {https://www.bibsonomy.org/bibtex/2b1d9c8847d517c579ddbddcad4373c6d/admin}, ee = {https://doi.org/10.1007/s10703-016-0253-8}, interhash = {ce361a87df2bf9d49209e1755ef2ba89}, intrahash = {b1d9c8847d517c579ddbddcad4373c6d}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = {1-2}, pages = {46-93}, timestamp = {2023-12-13T09:25:58.000+0100}, title = {Decentralised LTL monitoring.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd48.html#0002F16}, volume = 48, year = 2016 }