Predicting Errors in Concurrent Systems

Luis Manuel Carril Rodríguez. Predicting Errors in Concurrent Systems. PhD thesis, Karlsruhe Institute of Technology, Germany, 2017. [doi]

Abstract

Abstract is missing.