Divergence Detection for CCSL Specification via Clock Causality Chain.

Qingguo Xu, Robert de Simone, Julien DeAntoni

Browse the full SETTA paper archive.