From Security Protocols to Pushdown Automata (Q5327429)
From MaRDI portal
scientific article; zbMATH DE number 6196327
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Security Protocols to Pushdown Automata |
scientific article; zbMATH DE number 6196327 |
Statements
From Security Protocols to Pushdown Automata (English)
0 references
7 August 2013
0 references
