Work

Probabilistic Model-Checking of Quantum Protocols (Extended Abstract)

Year: 2005

Type: article

Authors: Rajagopal Nagarajan, Nikolaos Papanikolaou

Institution: University of Warwick

Language: English

Topic: Quantum Information and Cryptography

Subfield: Atomic and Molecular Physics, and Optics

Field: Physics and Astronomy

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2153565343

FWCI:

Cites: 18

Cited by:

Related to: 10