Principles of model checking /

Autor Baier, Christel, Katoen, Joost-Pieter, 1964-
Vydáno 2008

CONCUR 2006 - Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings /

Vydáno 2006