Model checking - Clarke, E. M., 1945-; Grumberg, Orna, 1952-; Peled, Doron, 1962-; Kroening, Daniel; Veith, Helmut (Cambridge, Massachusetts : MIT Press, 2018)
Obsahuje bibliografii a rejstřík
Keywords: modelování a simulace; počítačová věda; computer science; modeling and simulation; monografie; monographs