TY  - BOOK
AU  - Jähnichen,Stefan
TI  - Logic for system engineering: 03. 03. - 07. 03. 97 (9710)
T2  - Seminar-Report / Internationales Begegnungs- und Forschungszentrum für Informatik, Geschäftsstelle Schloß Dagstuhl
PY  - 1997///
CY  - Wadern
PB  - IBFI
KW  - Konferenzschrift
KW  - gnd-content
ER  -