Correct-by-Construction Development of Dynamic Topology Control Algorithms

Roland Speith. Correct-by-Construction Development of Dynamic Topology Control Algorithms. PhD thesis, Darmstadt University of Technology, Germany, 2018. [doi]

Abstract

Abstract is missing.