Format:
X, 149 S.
,
graph. Darst.
ISBN:
3929470551
Series Statement:
Edition versal 5
Note:
Zugl.: Karlsruhe, Univ., Diss., 1997
Language:
German
Subjects:
Computer Science
Keywords:
Asynchrones Schaltwerk
;
Formale Spezifikationstechnik
;
Verifikation
;
Hochschulschrift
Bookmarklink