Abdelli Abdelkrim. Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems. Acta Cybern., 20(3):347-384, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.