Publikation
Mark Hillebrand; Dirk Leinenbach
In: Proceedings of the 4th International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-2009), June 22-24, Aachen, Germany, Pages 123-141, Electronic Notes in Theoretical Computer Science, Vol. 254, Elsevier Science B.V. 2009.
@inproceedings{pub4422, author = { Hillebrand, Mark and Leinenbach, Dirk }, title = {Formal Verification of a Reader-Writer Lock Implementation in C}, booktitle = {Proceedings of the 4th International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-2009), June 22-24, Aachen, Germany}, series = {Electronic Notes in Theoretical Computer Science}, year = {2009}, volume = {254}, pages = {123--141}, publisher = {Elsevier Science B.V.} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023