A timer-based connection management protocol with synchronized clocks and its verification

From MaRDI portal
Publication:4272446