Suchergebnis

Suche nach: Autor / Beteiligte = Katoen, Joost-Pieter und Sammlung = UB Paderborn

Principles of model checking
Baier, Christel ; Katoen, Joost-Pieter
Cambridge, Mass. [u.a.] : MIT Press, 2008