Mendler, Michael ; Reinhardt, T. ; Stroup, T.:
Konsistenz, Vollständigkeit und Kohärenz einer Bausteintafel delay-insensitiver Grundelemente. Technical Report
.
Erlangen : Institut für Mathem. Maschinen und Datenverarbeitung. 1992
(IMMD7-15/92). - Interner Bericht
Institution: Professur für Grundlagen der Informatik
|
|