Löbel, Raphaela
Linear Tree Transducers
2020
Dissertation
120 Seiten

Müller, Alexander Christian
Proving Noninterference in Multi-Agent Systems
2020
Dissertation
175 Seiten