Clarke, Edmund M. Model Checking - Cambridge MIT Press 1999 - xiv,314p. ISBN: 9780262032704 Subjects--Topical Terms: Computer systems--Verification Dewey Class. No.: 004.21 / Cla