Description: Model checking /

Main Author:	Clarke, E. M., 1945-
Other Authors:	Grumberg, Orna.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1999.
Subjects:	Computer systems > Verification. COMPUTERS > Software Development & Engineering > Systems Analysis & Design. Computersystemen. Modellen (theorie)
Online Access:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=27235

Physical Description:	1 online resource (xiv, 314 pages) : illustrations
Bibliography:	Includes bibliographical references (pages 297-307) and index.
ISBN:	0585385580 9780585385587