Formal verification of basic memory devices

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Herbert, John (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cambridge Univ. of Cambridge, Computer Laboratory 1988
Schriftenreihe:Technical report / Computer Laboratory, University of Cambridge 124
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:32 S., [7] Bl.
graph. Darst.