Retour
  1. Accueil
  3. Référence détaillée
Demander un accès
Article (Périodiques scientifiques)
An inductive approach to strand spaces
Li, Yongjian; PANG, Jun
2013 • In Formal Aspects of Computing, 25 (4), p. 465-501
Peer reviewed
Permalien
https://hdl.handle.net/10993/3872
DOI
10.1007/s00165-011-0187-2
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
FAC13.pdf
Preprint Auteur (822.78 kB)
Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Mots-clés :
security; formal methods
Disciplines :
Sciences informatiques
Auteur, co-auteur :
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)
Langue du document :
Anglais
Titre :
An inductive approach to strand spaces
Date de publication/diffusion :
2013
Titre du périodique :
Formal Aspects of Computing
Volume/Tome :
25
Fascicule/Saison :
4
Pagination :
465-501
Peer reviewed :
Peer reviewed
Disponible sur ORBilu :
depuis le 15 juillet 2013

Statistiques

Nombre de vues
104 (dont 1 Unilu)
Nombre de téléchargements
0 (dont 0 Unilu)
Voir plus de statistiques
citations Scopus®
 
7
citations Scopus®
sans auto-citations
2
OpenCitations
 
4
citations OpenAlex
 
8
citations WoS™
 
6

Bibliographie

Publications similaires


Contacter ORBilu