A Process Algebra for Reasoning About Quantum Security

AuthID
P-007-H40
2
Author(s)
Tipo de Documento
Proceedings Paper
Year published
2005
Publicado
in QPL, ISSN: 15710661
Volume: 170, Páginas: 3-21 (18)
Indexing
Publication Identifiers
DBLP: journals/entcs/AdaoM07
SCOPUS: 2-s2.0-33847280243
Source Identifiers
ISSN: 15710661
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.