Model checking Russian cards (Q2852032)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model checking Russian cards |
scientific article; zbMATH DE number 6213645
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model checking Russian cards |
scientific article; zbMATH DE number 6213645 |
Statements
7 October 2013
0 references
cryptography
0 references
unconditional security
0 references
model checking
0 references
information-based protocols
0 references
epistemic logic
0 references
0 references
0.8071129
0 references
0.80460733
0 references
0.79076403
0 references
0.7822815
0 references
0.76757544
0 references
Model checking Russian cards (English)
0 references
