Nov. 05 2018 0 Trace semantics for nondeterministic probabilistic automata via determinization By petra
Okt. 23 2018 0 Towards a High-Performance Readout System for the Upgrade of the CERN ALICE Inner Tracking System By petra
