Fulltext present in this item

Thumbnail
Fulltext: 75930.pdf
Format: PDF
Description: preprint version
Title: Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving.
Author(s): Gastel, Bernard van; Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van
Publication year: 2009
In: Lecture Notes in Computer Science, (2009)Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 85-102
Publisher: Berlin : Springer Verlag
ISBN: 9783642032394
ISSN: 0302-9743
Annotation: Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, 15 september 2008
Publication type: Article in monograph or in proceedings

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

Display more details
Editor(s): Cofer, D.; Fantechi, A.
Subject: Digital Security
Organization: Digital Security
Security of Systems
Software Science
Former Organization: Biophysics
Journal title:
Lecture Notes in Computer Science
Book title: Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Page start: p. 85
Page end: p. 102

This item appears in the following Collection(s)

Browse

Statistics