SCARD D2.3 DPA Proof Logic Styles - Technical Report

Thomas Popp, Stefan Mangard, Manfred Josef Aigner

Research output: Book/ReportOther reportResearch

Original languageEnglish
Publisher.
Publication statusPublished - 2005

Cite this

SCARD D2.3 DPA Proof Logic Styles - Technical Report. / Popp, Thomas; Mangard, Stefan; Aigner, Manfred Josef.

., 2005.

Research output: Book/ReportOther reportResearch

Popp, Thomas ; Mangard, Stefan ; Aigner, Manfred Josef. / SCARD D2.3 DPA Proof Logic Styles - Technical Report. ., 2005.
@book{146c64dc97b944b5b4ac12c318be41fa,
title = "SCARD D2.3 DPA Proof Logic Styles - Technical Report",
author = "Thomas Popp and Stefan Mangard and Aigner, {Manfred Josef}",
year = "2005",
language = "English",
publisher = ".",

}

TY - BOOK

T1 - SCARD D2.3 DPA Proof Logic Styles - Technical Report

AU - Popp, Thomas

AU - Mangard, Stefan

AU - Aigner, Manfred Josef

PY - 2005

Y1 - 2005

M3 - Other report

BT - SCARD D2.3 DPA Proof Logic Styles - Technical Report

PB - .

ER -