Delay-dependent partial order reduction technique for real time systems

Hanifa Boucheneb, Kamel Barkaoui. Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2):278-306, 2018. [doi]

Abstract

Abstract is missing.