2 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen2 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016