@inproceedings{DBLP:conf/rv/BasinKMZ12,
	editor    = {Shaz Qadeer and Serdar Tasiran},
	booktitle = {Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers},
	title     = {Monitoring Compliance Policies over Incomplete and Disagreeing Logs},
	author    = {David A. Basin and Felix Klaedtke and Srdjan Marinovic and Eugen Zalinescu},
	pages     = {151-167},
	year      = {2012},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	volume    = {7687},
	isbn      = {978-3-642-35631-5, 978-3-642-35632-2},
	Doi       = {http://dx.doi.org/10.1007/978-3-642-35632-2},
  
}