scientific article
From MaRDI portal
Publication:2852062
zbMath1273.94340MaRDI QIDQ2852062
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003689
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems ⋮ A Logical Characterisation of Static Equivalence
This page was built for publication:
