Model checking
Title:
Model checking
Author:
Clarke, E. M., 1945-
Personal Author:
Publication Information:
Cambridge, Mass. : MIT Press, [1999]
©1999
Physical Description:
xiv, 314 pages : illustrations ; 24 cm
Language:
English
Subject Term:
ISBN:
9780262032704
Format :
Book