Merkliste 
 1 Ergebnisse 
 
1

Data Flow Verification in SoC Using Formal Techniques:

, In: Lecture Notes in Electrical Engineering; Advances in Communication, Signal Processing, VLSI, and Embedded Systems,