[Back]


Diploma and Master Theses (authored and supervised):

P. Fimml:
"Temporal-Epistemic Logic in Byzantine Message-Passing Contexts";
Supervisor: U. Schmid; Institut für Computer Engineering, 2018; final examination: 2018-01-08.



Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_273448.pdf