Merkliste 
 1 Ergebnisse 
 
1

Raccoon : automated verification of guarded race conditi..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
Koch, Simon ; Sauer, Tim ; Johns, Martin. - p. 1678-1687 , 2020