
@article {ar:RabeLammichPopescu2014,
	title = {A shallow embedding of HyperCTL},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {M. N. Rabe and P. Lammich and A. Popescu}
}
@conference {inp:ClarksonFinkbeinerKoleiniMicinskiRabeSanchet2014,
	title = {Temporal Logics for Hyperproperties},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {M. R. Clarkson and B. Finkbeiner and M. Koleini and K. K. Micinski and M. N. Rabe and C. S{\'a}nchez}
}
@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}
}
