1997
Conference Proceeding
Title

Logic for system engineering

Title Supplement
Dagstuhl Seminar, 03.03. - 07.03.97
Person Involved
Jähnichen, S.
Loeckx, J.
Wirsing, M.
Corporate Author
Internationales Begegnungs- und Forschungszentrum für Informatik -IBFI- Schloß Dagstuhl, Wadern
Publisher
Publishing Place
Saarbrücken
Conference
Language
English
FIRST