Security Protocols: Verification and Design Automation

Automation

von Pavel Ocenasek

Taschenbuch

EAN=ISBN-13: 978-3-8383-6040-9

ISBN-10: 3-8383-6040-0

LAP LAMBERT Academic Publishing · 2010