TY  - SER
AU  - Fickas, Stephen
AU  - Helm, B. Robert
TI  - Knowledge Representation and Reasoning InDesign of Cinposite Systems
KW  - Automated Analysis
KW  - Composite Spheres
KW  - Software Specification
ER  -