Efficient computation of state space over approximation of preemptive real time systems.

Abdelli Abdelkrim, Dahbia Yahiatene

Browse the full AICCSA paper archive.