DMCA

Organising LTL Monitors over Distributed Systems with a Global Clock

by Christian Colombo , Yliès Falcone