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

Search Results

Cover image for Computer-aided verification '90

Computer-aided verification '90

Joyner Library - General Stacks
Call Number: TK7874 .D553 1990
Cover image for Perspectives of Systems Informatics

Perspectives of Systems Informatics

Location
Access Content Online
Cover image for Handbook of Model Checking

Handbook of Model Checking

Location
Access Content Online
Cover image for Model checking

Model checking

Joyner Library - General Stacks
Call Number: QA76.76.V47 C553 1999
Cover image for Model checking

Model checking

Location
Access Content Online
Cover image for Computer-aided verification

Computer-aided verification

Joyner Library - General Stacks
Call Number: TK7874 .D553 1990A
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