Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
Acceleration of material flow simulations
using model coarsening by token sampling and online error estimation and accumulation controlling2014dedupv1
improving deduplication throughput using solid state drives ; technical reportPaderborn : Universitätsbibliothek Paderborn, 2011