%0 Book
%T GI-ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme 21. - 23. März 1993, Bad Herrenalb
%A Workshop Formale Methoden zum Entwurf Korrekter Systeme 1993 Bad Herrenalb
%A Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme
%A Schmid, Detlef
%A Kropf, Thomas
%I Univ., Fakultät für Informatik
%K Konferenzschrift
%K Forschungsbericht
%D 1993
%X Beitr. teilw. dt., teilw. engl
%C Univ., Fakultät für Informatik
%C Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation