Model checking - Grumberg, Orna, 1952-; Peled, Doron A., 1962-; Clarke, E. M., 1945- (Cambridge : MIT Press, 1999)
Keywords: počítačová věda; počítačové systémy; computer science; computer systems