Application of process algebraic verification and reduction techniques to SystemC designs

Onderzoeksoutput: Boek/rapport › Rapport › Academic

105 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	21
Status	Gepubliceerd - 2008

Toegang tot document

TY - BOOK

T1 - Application of process algebraic verification and reduction techniques to SystemC designs

AU - Hojjat, H.

AU - Mousavi, M.R.

AU - Sirjani, M.

PY - 2008

Y1 - 2008

M3 - Report

T3 - Computer science reports

BT - Application of process algebraic verification and reduction techniques to SystemC designs

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -