Full Text Available
Access Full Text at Repository
Search Results - "Computer system Verification"
-
Reducing communication in distributed model checking
Published 2009Subjects: “…Computer systems -- Verification…”
Get full text
Thesis