Sciweavers

Share
ACSD
2008
IEEE

Process algebraic verification of SystemC codes

9 years 4 months ago
Process algebraic verification of SystemC codes
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj
Added 28 May 2010
Updated 28 May 2010
Type Conference
Year 2008
Where ACSD
Authors Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
Comments (0)
books