Y.: Decentralised LTL monitoring (2011)

by Andreas Bauer, Yliès Falcone