1997
Conference Proceeding
Titel

Logic for system engineering
Titel Supplements
Dagstuhl Seminar, 03.03. - 07.03.97
Beteiligt
Jähnichen, S.
Loeckx, J.
Wirsing, M.
Organisation
Internationales Begegnungs- und Forschungszentrum für Informatik -IBFI- Schloß Dagstuhl, Wadern
Verlag
Verlagsort
Saarbrücken
Konferenz
Thumbnail Image
Language
English
FIRST