Searching for authors named "Craig Damon" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Selective Enumeration
- …Selective Enumeration A Thesis Proposal Craig A. Damon School of Computer Science Carnegie Mellon…
- Cited by 2 (0 self) – Add To MetaCart
-
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications
- … JACKSON MIT and SOMESH JHA and CRAIG A. DAMON Carnegie Mellon University Software specifications often…
- Cited by 13 (9 self) – Add To MetaCart
-
A feasibility study of the HLA bridge
- …Queen’s University zCarnegie Mellon University xUniversity of Vermont c Jürgen Dingel, David Garlan, Craig A. Damon…
- Add To MetaCart
-
A feasibility study of the HLA bridge
- …A feasibility study of the HLA bridge Juergen Dingely David Garlanz Craig A. Damonx March 15…
- Add To MetaCart
-
Formalizing a Specification for Analysis: The HLA Ownership Properties
- …Formalizing a Specification for Analysis: The HLA Ownership Properties Craig A. Damon, Ralph…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 5.
