Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani. An effective approach for model checking SystemC designs. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 56-61, IEEE, 2008. [doi]
Abstract is missing.