Search

Results 1-1 of 1
Publication DateTitleAuthor(s)
31-May-2001Abstraction and refinement for model checking inconsistent systemsHuth, M; Pradhan, S
  • previous
  • 1
  • next