@phdthesis{phddimiterkul,
author = "Dimiter Milushev",
note = "partner: KUL; projects: NESSoS; No Tier; citations: 3",
title = "{R}easoning about {H}yperproperties",
url = "https://lirias.kuleuven.be/handle/123456789/402370",
year = "2013",
}