
Fulltext:
130368.pdf
Embargo:
until further notice
Size:
5.195Mb
Format:
PDF
Description:
preprint version
Publication year
2001Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 2031
ISBN
9783540418658
In
Margaria, T.; Yi, W. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, pp. 299-312Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Margaria, T.
Yi, W.
Organization
Digital Security
Security of Systems
Book title
Margaria, T.; Yi, W. (ed.), Tools and Algorithms for the Construction and Analysis of Systems
Page start
p. 299
Page end
p. 312
Subject
Lecture Notes in Computer Science; Digital SecurityThis item appears in the following Collection(s)
- Non RU Publications [14895]
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.