@inproceedings{BasinKMZ-RV12, author = {David Basin and Felix Klaedtke and Srdjan Marinovic and Eugen Zalinescu}, title = {Monitoring {C}ompliance {P}olicies over {I}ncomplete and {D}isagreeing {L}ogs}, booktitle = {3rd International Conference on Runtime Verification (RV'2012)}, year = 2013, pages = {151--167}, series = {Lecture Notes in Computer Science}, volume = {7687}, publisher = {Springer}, doi = {10.1007/978-3-642-35632-2_17}, }