Automated Deduction – CADE-20
From MaRDI portal
Publication:5394622
DOI10.1007/11532231zbMath1135.68560OpenAlexW2485416161MaRDI QIDQ5394622
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Formal analysis of PIN block attacks ⋮ Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach ⋮ Combining proverif and automated theorem provers for security protocol verification
Uses Software
This page was built for publication: Automated Deduction – CADE-20