
Fulltext:
134905.pdf
Embargo:
until further notice
Size:
412.1Kb
Format:
PDF
Description:
preprint version
Publication year
2014Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 8453
ISBN
9783662454886
In
Remke, A.; Stoelinga, M. (ed.), Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, pp. 87-116Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Remke, A.
Stoelinga, M.
Organization
Software Science
Book title
Remke, A.; Stoelinga, M. (ed.), Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Page start
p. 87
Page end
p. 116
Subject
Lecture Notes in Computer Science; Software ScienceThis item appears in the following Collection(s)
- Academic publications [227900]
- Electronic publications [107393]
- Faculty of Science [33781]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.