• Titelblatt

    dedupv1

    improving deduplication throughput using solid state drives ; technical report
    Meister, Dirk ; Brinkmann, André
    Paderborn : Universitätsbibliothek Paderborn, 2011
  • Titelblatt

    Induction-based Verification of Timed Systems

    Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, Oliver
    Elektronische Ressource, Paderborn, 2016