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