Suchergebnis

Suche nach: Schlagwort = Model Checking und Sammlung = UB Paderborn

Handbook of model checking
Clarke, Edmund M. (Hrsg.) ; Henzinger, Thomas A. (Hrsg.) ; Veith, Helmut (Hrsg.) ; Bloem, Roderick (Hrsg.)
Cham : Springer, 2018
Principles of model checking
Baier, Christel ; Katoen, Joost-Pieter
Cambridge, Mass. [u.a.] : MIT Press, 2008