Model Checking /
Clarke, E. M.
Model Checking / by E. M. Clarke. - Cambridge, Mass. : MIT Press, 1999. - xiv, 314 p. : ill. ;
Include Index
9780260032704
Model Checking
004.21 / CLA/M
Model Checking / by E. M. Clarke. - Cambridge, Mass. : MIT Press, 1999. - xiv, 314 p. : ill. ;
Include Index
9780260032704
Model Checking
004.21 / CLA/M