Model checking /

Model checking /

57

Bibliographic Details
Main Authors: Clarke, E. M., 1945-, Grumberg, Orna, Peled, Doron, 1962-
Format:
Language:eng
Published: Cambridge, MA : The MIT Press, 1999
Subjects:
Computer systems

Similar Items