Media type: Book Title: Model checking Contributor: Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]; Peled, Doron A. [Other] Published: Cambridge, Mass. [u.a.]: MIT Press, 2001 Issue: 3. print. Extent: XIV, 314 S; Ill., graph. Darst; 23 cm Language: English ISBN: 0262032708 RVK notation: ST 130 : Allgemeines Keywords: Model Checking Origination: Footnote: Includes index. - Bibliography p. [297]-307
Departmental Library DrePunct – stack Shelf-mark: 2002 8 022664 Item ID: 30560717 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order