Login / Signup

An effective approach for model checking SystemC designs.

Razieh BehjatiHamideh SabouriNiloofar RazaviMarjan Sirjani
Published in: ACSD (2008)
Keyphrases