Model checking/
Main Author: | Clarke, Edmund M., 1945- |
---|---|
Corporate Author: | MIT Press |
Other Authors: | GRUMBERG, Orna, PELED, Doron,, Grumberg, Orna, Peled, Doron, |
Format: | Book |
Language: | English |
Published: |
Cambridge, Mass London:
The MIT Press,
c1999
|
Subjects: |
Similar Items
-
Model checking /
by: Clarke, E. M., 1945-
Published: (1999) -
Principles of model checking/
by: Baier, Christel
Published: (2008) -
Model checking /
by: Clarke, E. M., 1945-
Published: (1999) -
Principles of model checking /
by: Baier, Christel
Published: (2008) -
Principles of model checking /
by: Baier, Christel.
Published: (2008)