Publication year
2005Author(s)
Publisher
Berlin ; New York : Springer Verlag
ISBN
3540253335
In
Lecture Notes in Computer Science, (2005)Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 11th InternationEuropean Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings, pp. 317-333Conference location
Edinburgh
ISSN
Annotation
TACAS 2005
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Halbwachs, Nicolas
Zuck, Lenore D.
Organization
Security of Systems
Journal title
Lecture Notes in Computer Science
Book title
Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 11th InternationEuropean Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
Page start
p. 317
Page end
p. 333
Subject
Security of SystemsThis item appears in the following Collection(s)
- Academic publications [245263]
- Faculty of Science [37522]
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.