Fulltext present in this item

Thumbnail
Fulltext: 91697.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving
Author(s): Gastel, B.E. van; Lensink, L. ; Smetsers, S. ; Eekelen, M.C.J.D. van
Publication year: 2011
Source: Science of Computer Programming, vol. 76, iss. 2, (2011), pp. 82-99
ISSN: 0167-6423
DOI: https://doi.org/10.1016/j.scico.2010.03.004
Publication type: Article / Letter to editor

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/91697   https://hdl.handle.net/2066/91697

Display more details
Subject: Digital Security
Organization: Digital Security
Security of Systems
Software Science
Journal title:
Science of Computer Programming
Volume: vol. 76
Issue: iss. 2
Page start: p. 82
Page end: p. 99

This item appears in the following Collection(s)

Browse

Statistics