Logic for system engineering  03. 03. - 07. 03. 97 (9710) 
Stefan Jähnichen ... (ed.) 
 - 31 S. 
 - Seminar-Report / Internationales Begegnungs- und Forschungszentrum für Informatik, Geschäftsstelle Schloß Dagstuhl  171 .
 -  171 .
 - Dagstuhl-Seminar-Report  171 .
<br/><br/><label>Nat. Bib. Agency Control No.: </label>313231849  US-OCoLC 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift