O
pen
R
epository and
Bi
bliography
Login
Home
User guide
Toolbox
FAQ
Glossary
Help?
EN
FR
University of Luxembourg Library
You are here:
ORBi
lu
Detailled reference
Reference : An inductive approach to strand spaces
Document type :
Scientific journals : Article
Discipline(s) :
Engineering, computing & technology : Computer science
To cite this reference:
http://hdl.handle.net/10993/3872
Title :
An inductive approach to strand spaces
Language :
English
Author, co-author :
Li, Yongjian
[Chinese Academy of Sciences]
Pang, Jun
[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Publication date :
2013
Journal title :
Formal Aspects of Computing
Volume :
25
Issue/season :
4
Pages :
465-501
Peer reviewed :
Yes
Keywords :
[en]
security ; formal methods
Target :
Researchers ; Professionals ; Students
Permalink :
http://hdl.handle.net/10993/3872
DOI :
10.1007/s00165-011-0187-2
File(s) associated to this reference
Fulltext file(s):
File
Commentary
Version
Size
Access
Limited access
FAC13.pdf
Author preprint
803.5 kB
Request a copy
All documents in ORBi
lu
are protected by a
user license
.
University of Luxembourg Library
|
Feedback
|
Legal notices
Site Map