Model checking

Saved in:

Bibliographic Details
Main Author:	Clarke, E. M. 1945-
Other Authors:	Grumberg, Orna, Peled, Doron 1962-
Format:	Unknown
Published:	Cambridge, Mass. MIT Press 1999.
Subjects:	Computer systems > Verification.
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet