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
|
|