Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009060916/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b12748802.
- catalog contributor b12748803.
- catalog contributor b12748804.
- catalog contributor b12748805.
- catalog created "c1999.".
- catalog date "1999".
- catalog date "c1999.".
- catalog dateCopyrighted "c1999.".
- catalog description "Includes bibliographical references (p. [297]-307) and index.".
- catalog description "Modeling systems -- Trmporal logics -- Model checking -- Binary decision diagram -- Symbolic model checking -- Model checking for the u-calculus -- Model checking in practice -- Model checking and automata theory -- Partial order reduction -- Equivalences and preorders between structures -- Compositional reasoning -- Abstraction -- Symmetry -- Infinite families of finite-state systems -- Discrete real-time and quantitative temporal analysis -- Continuous real time.".
- catalog extent "xiv, 314 p. :".
- catalog identifier "0262032708 (alk. paper)".
- catalog issued "1999".
- catalog issued "c1999.".
- catalog language "eng".
- catalog publisher "Cambridge, Mass. : MIT Press,".
- catalog subject "004.2/1 21".
- catalog subject "Computer systems Verification.".
- catalog subject "QA76.76.V47 C553 1999".
- catalog tableOfContents "Modeling systems -- Trmporal logics -- Model checking -- Binary decision diagram -- Symbolic model checking -- Model checking for the u-calculus -- Model checking in practice -- Model checking and automata theory -- Partial order reduction -- Equivalences and preorders between structures -- Compositional reasoning -- Abstraction -- Symmetry -- Infinite families of finite-state systems -- Discrete real-time and quantitative temporal analysis -- Continuous real time.".
- catalog title "Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.".
- catalog type "text".