Suchergebnis

Suche nach: Autor / Beteiligte = Bloem, Roderick 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