Klaus Schneider, Jens Brandt. Performing causality analysis by bounded model checking. 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 78-87, IEEE, 2008. [doi]
Abstract is missing.