Formal analysis of memory contention in a multiprocessor system (2013)

by L Liu, O Hasan, S Tahar
Venue:in Formal Methods: Foundations and Applications