Sciweavers

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