Zugehörige Institution(en) am KIT | Fakultät für Maschinenbau – Institut für Rechneranwendung in Planung und Konstruktion (PRK) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1995 |
Sprache | Englisch |
Identifikator | KITopen-ID: 29995 |
Erscheinungsvermerk | In: Preprints. Formal Design Methods for CAD. Ed.: J.S. Gero. Sydney : Key Cent. of Des. Computing, Univ. of Sydney 1995. S. 293-313. |
Bemerkung zur Veröffentlichung | Sonderdrucknummer 95S207 |