Monitorability for Runtime Verification.

Klaus Havelund, Doron Peled

Browse the full RV paper archive.