Efficient decision procedures for validation

by O. Shtrichman

Type Thesis
Rate 0.0 /5
Details
Files
Reviews
Download

Edition Statements

  • Publication Date:2001

Thesis Information

  • Degree:Ph.D.
  • University:The Weizmann Institute of Science (Israel)
  • Pages:102

Publication Statements

  • Language:eng
  • Publication Date:2001

Edition Identifiers

  • proquest:304750040

Subjects

Applied Sciences Computer Science decision procedures eng PDF

Writers

O. Shtrichman

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

Log in to request a copy