Merkliste 
 1 Ergebnisse 
 
1

Verification for fault tolerance of the IBM system z microp..:

, In: Proceedings of the 47th Design Automation Conference,
Thompto, Brian W. ; Hoppe, Bodo - p. 525-530 , 2010