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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.