51 citations · 84 across the 7 of their papers we have counts for
1 paper · 2 filters
Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of qua…