
@conference {inp:DimitrovaFinkbeinerKovacsRabeSeidl2012a,
	title = {Model Checking Information Flow in Reactive Systems},
	booktitle = {Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012)},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. Kov{\'a}cs and M. Rabe and H. Seidl}
}
