Decentralised LTL Monitoring

FM 2012: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32759-9_10 ◽

2012 ◽

pp. 85-100 ◽

Author(s):

Andreas Bauer ◽

Yliès Falcone

Download Full-text