Formal Pervasive Verification of a Paging Mechanism.

Eyad Alkassar, Norbert Schirmer, Artem Starostin

Browse the full TACAS paper archive.