2 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke 1
zu den Filteroptionen2 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke
1
On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023
On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017