Automated verification of quantum protocols using \textsc{mcmas} (Q5858724)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7333239
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated verification of quantum protocols using \textsc{mcmas} |
scientific article; zbMATH DE number 7333239 |
Statements
14 April 2021
0 references
0.8300451636314392
0 references
0.7733336091041565
0 references
0.7674817442893982
0 references
0.7632930874824524
0 references
0.7546446919441223
0 references
