Sciweavers

ACSD
2008
IEEE
89views Hardware» more  ACSD 2008»
14 years 1 months ago
Process algebraic verification of SystemC codes
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...