Abdelkrim Abdelli, Dahbia Yahiatene. Efficient computation of state space over approximation of preemptive real time systems. In The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008. pages 726-733, IEEE, 2008. [doi]
@inproceedings{AbdelliY08, title = {Efficient computation of state space over approximation of preemptive real time systems}, author = {Abdelkrim Abdelli and Dahbia Yahiatene}, year = {2008}, doi = {10.1109/AICCSA.2008.4493608}, url = {http://dx.doi.org/10.1109/AICCSA.2008.4493608}, researchr = {https://researchr.org/publication/AbdelliY08}, cites = {0}, citedby = {0}, pages = {726-733}, booktitle = {The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008}, publisher = {IEEE}, }