Merkliste 
 1 Ergebnisse 
 
1

A pattern-based verification approach for a multi-core syst..:

, In: Proceedings of the 2011 ACM Symposium on Applied Computing,