Analýza synchronizácie súbežných procesov - Prokop, Michal, 1988- (STU v Bratislave FEI, 2012)