@inproceedings{HilSSV09, <br>AUTHOR = {Hillebrand, M. and Leinenbach, D.},<br>TITLE = {Formal Verification of a Reader-Writer Lock Implementation in C},<br>VOLUME = {254}, <br>YEAR = {2009},<br>PAGES = {123-141}, <br>SERIES = {Electronic Notes in Theoretical Computer Science},<br>BOOKTITLE = {4th International Workshop on Systems Software Verification (SSV09)}, <br>PUBLISHER = {Elsevier Science B. V.},<br>EE = {http://dx.doi.org/10.1016/j.entcs.2009.09.063},<br>}