Inproceedings,

Symbolic Causality Checking Using Bounded Model Checking.

, , , , and .
SPIN, volume 9232 of Lecture Notes in Computer Science, page 203-221. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews