Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc. Paderborn, 2016
Inhalt