Department of Computer Engineering2024-11-1020100955-792X10.1093/logcom/exn0742-s2.0-77952927098http://dx.doi.org/10.1093/logcom/exn074https://hdl.handle.net/20.500.14288/16947N/AComputer scienceLogicSpecial issue: international workshop on runtime verification 2007Other279004000001Q28177