@inproceedings{Alkassar-TACAS08, <br>AUTHOR = {Alkassar, Eyad and Schirmer, Norbert and Starostin, Artem},<br>TITLE = {Formal Pervasive Verification of a Paging Mechanism},<br>VOLUME = {4963}, <br>YEAR = {2008},<br>PAGES = {109-123}, <br>SERIES = {LNCS},<br>BOOKTITLE = {14th intl Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS08)}, <br>PUBLISHER = {Springer},<br>EDITOR = {C. R. Ramakrishnan and Jakob Rehof},<br>EE = {http://dx.doi.org/10.1007/978-3-540-78800-3_9},<br>}