Back
  1. Home
  3. Detailled Reference
Request a copy
Article (Scientific journals)
An inductive approach to strand spaces
Li, Yongjian; Pang, Jun
2013 • In Formal Aspects of Computing, 25 (4), p. 465-501
Peer reviewed
Permalink
https://hdl.handle.net/10993/3872
DOI
10.1007/s00165-011-0187-2
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
FAC13.pdf
Author preprint (822.78 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Keywords :
security; formal methods
Disciplines :
Computer science
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)
Language :
English
Title :
An inductive approach to strand spaces
Publication date :
2013
Journal title :
Formal Aspects of Computing
Volume :
25
Issue :
4
Pages :
465-501
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 15 July 2013

Statistics

Number of views
77 (0 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations®
 
5
Scopus citations®
without self-citations
1
OpenCitations
 
4
WoS citations™
 
4

Bibliography

Similar publications


Contact ORBilu