Result: Model checking
Title:
Model checking / Edmund M. Clarke, Orna Grumberg, and Doron A. Peled
Involved:
Published:
Cambridge, MA [u.a.] : MIT Press, 1999
Scope:
XIV, 314 S. : graph. Darst.
Resource Type:
Language:
English
Subject Added Keywords:
ISBN:
0262032708 ; 9780262032704