- Shopping Bag ( 0 items )
From the Publisher
" Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject.
Theauthors include the foremost experts. This is the first trulycomprehensive treatment of a line of research that has gone fromconception to industrial practice in only two decades." R. P. Kurshan , Distinguished Member
Technical Staff, Bell Laboratories
The MIT Press