Formal pervasive verification of a paging mechanism (2008)

by E Alkassar, N Schirmer, A Starostin
Venue:Proc. TACAS’08