Dimiter Milushev. Reasoning about Hyperproperties (Redeneren over hyperproperties) ; Reasoning about Hyperproperties. PhD thesis, Katholieke Universiteit Leuven, Belgium, 2013. [doi]
@phdthesis{basesearch-4355,
title = {Reasoning about Hyperproperties (Redeneren over hyperproperties) ; Reasoning about Hyperproperties},
author = {Dimiter Milushev},
year = {2013},
url = {https://www.base-search.net/Record/cf7f4f9fc1348cf989175b043ca6975b887f7fd6cb152d9243a3c2dbd9dc50e3},
note = {base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/402370)},
researchr = {https://researchr.org/publication/basesearch-4355},
cites = {0},
citedby = {0},
school = {Katholieke Universiteit Leuven, Belgium},
}