@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},
}