Organising LTL Monitors over Distributed Systems with a Global Clock.

Christian Colombo, Ylis Falcone

Browse the full RV paper archive.