scientific article
From MaRDI portal
Publication:2849863
zbMath1272.68194MaRDI QIDQ2849863
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (3)
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols ⋮ Twenty years of rewriting logic ⋮ Termination of Narrowing in Left-Linear Constructor Systems
This page was built for publication:
