Reference : An inductive approach to strand spaces
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3872
An inductive approach to strand spaces
English
Li, Yongjian [Chinese Academy of Sciences]
Pang, Jun mailto [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)]
2013
Formal Aspects of Computing
25
4
465-501
Yes
[en] security ; formal methods
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/3872
10.1007/s00165-011-0187-2

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FAC13.pdfAuthor preprint803.5 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.