Comparing LTL semantics for runtime verification,” (2010)

by A Bauer, M Leucker, C Schallhart
Venue:J. Log. Comput.,