[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - SpinCause: a tool for causality checking
Leitner-Fischer, Florian, Leue, StefanYear:
2014
Language:
english
DOI:
10.1145/2632362.2632371
File:
PDF, 310 KB
english, 2014