Search Results - "Computer systems Verification"

Search alternatives:

  • Showing 1 - 1 results of 1
Refine Results
  1. Reducing communication in distributed model checking by Fourie, Jean Francois

    Published 2009
    Subjects: “…Computer systems -- Verification…”
    Get full text
    Thesis