Performing causality analysis by bounded model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Klaus Schneider' in GoogleIdentified as Jens Brandt

runs on WebDSL