Fulltext present in this item

Thumbnail
Fulltext: 76014.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Preemption Abstraction: A Lightweight Approach to Modelling Concurrency
Author(s): Schierboom, E.G.H.; Tamalet, Alejandro ; Tews, H. ; Eekelen, M.C.J.D. van ; Smetsers, Sjaak
Publication year: 2009
In: Lecture Notes in Computer Science, (2009)Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 149-164
Publisher: Berlin : Springer Verlag
ISBN: 9783642045691
ISSN: 0302-9743
Annotation: Formal Methods for Industrial Critical Systems (FMICS 2009), 2 november 2010
Publication type: Article in monograph or in proceedings

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

Display more details
Editor(s): Alpuente, M.; Cook, B.
Subject: Digital Security
Organization: Digital Security
Security of Systems
Software Science
Former Organization: Biophysics
Journal title:
Lecture Notes in Computer Science
Book title: Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Page start: p. 149
Page end: p. 164

This item appears in the following Collection(s)

Browse

Statistics