|
[LFL13]
Florian Leitner-Fischer and Stefan Leue.
On the Synergy of Probabilistic Causality Computation and Causality Checking.
In Proc. 20th International Symposium on Model Checking Software (SPIN'13), volume 7976 of LNCS, pages 246-263, Springer.
2013.
[Develops an approach for causality checking, which uses PRISM for some of the underlying computations.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|