|
University of California, Berkeley - FALL 2012 | ||
Section 01 | ||
Model Checking (The Cyber-Physical Systems Series) by Orna (Technion) Grumberg, Doron A. Peled, Edmund M. Clarke, Doron Peleg, Calin Belta (Series Editor), Edmund M. Jr. Hardcover, 314 Pages, Published 1999 ISBN-10: 0-262-03270-8 / 0262032708 ISBN-13: 978-0-262-03270-4 / 9780262032704 "Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in |