Efficient computation of quantitative properties of real-time preemptive systems

Abdelli Abdelkrim. Efficient computation of quantitative properties of real-time preemptive systems. IJCCBS, 3(3):187-209, 2012. [doi]

Abstract

Abstract is missing.