Fuchs, M. ; Mendler, Michael:
Functional semantics for delta-VHDL based on FOCUS
.
In: Kloos, C.D. ; Breuer, P.T. (Hrsg.) : Formal Semantics for VHDL, chapter 1.
Boston u.a. : Kluwer, 1995, S. 9-42.
Institution: Professur für Grundlagen der Informatik
|
|