Start Over
You searched for: author_facet Clarke, Edmund M.

Search Results

Cover image for Handbook of Model Checking

Handbook of Model Checking

Location
Access Content Online
Cover image for Perspectives of Systems Informatics

Perspectives of Systems Informatics

Location
Access Content Online
Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Location
Access Content Online
Cover image for Verification of infinite-state systems with applications to security

Verification of infinite-state systems with applications to security

  • 2006
  • Format: Electronic
Location
Access Content Online
Cover image for Model checking

Model checking

Location Call # Status
Joyner - General Stacks QA76.76.V47 C553 1999 ✔ Available
Cover image for Model checking

Model checking

Location
Access Content Online
Cover image for Computer-aided verification

Computer-aided verification

Location Call # Status
Joyner - General Stacks TK7874 .D553 1990A ✔ Available
Cover image for Computer-aided verification '90

Computer-aided verification '90

Location Call # Status
Joyner - General Stacks TK7874 .D553 1990 ✔ Available