4 citations · 4 across the 1 of their papers we have counts for
1 paper
F. Belardinelli, P. Gonzalez, A. Lomuscio
We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framew…