WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/993542

Model checking

Open All Close All

http://schema.org/about

http://schema.org/description

  • "This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers."

http://schema.org/genre

  • "Electronic books."@en

http://schema.org/name

  • "Model checking"
  • "Model checking"@en
  • "Model checking /"@en
  • "Model checking /"