Monitoring Compliance Policies over Incomplete and Disagreeing Logs.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Browse the full RV paper archive.