Author:
Kölbl Martin,Leue Stefan,Schmid Robert
Publisher
Springer International Publishing
Reference19 articles.
1. Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20–40 (2012). https://doi.org/10.1007/s10703-011-0132-2
2. Lecture Notes in Computer Science;J Bengtsson,1996
3. Lecture Notes in Computer Science;J Bengtsson,2004
4. Bouyer, P., Fahrenberg, U., Larsen, K.G., Markey, N., Ouaknine, J., Worrell, J.: Model checking real-time systems. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 1001–1046. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_29
5. Chapman, A.: Camels, diamonds and counterfactuals: a model for teaching causal reasoning. In: Teaching History, pp. 46–53 (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献