Merkliste 
 1 Ergebnisse 
 
1

Formal semantics for the automated derivation of micro-code:

, In: Proceedings of the 19th Design Automation Conference,
Mueller, Robert A. ; Varghese, Joseph - p. 815-824 , 1982