
@conference {inc:DimitrovaFinkbeinerRabe2012,
	title = {Monitoring Temporal Information Flow},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. N. Rabe}
}
