Decentralised ltl monitoring (0)

by A K Bauer, Y Falcone
Venue:FM 2012: Formal Methods - 18th International Symposium