Merkliste 
 1 Ergebnisse 
 
1

Efficient Analysis of Cyclic Redundancy Architectures via B..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,