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]
@article{Abdelkrim12-0,
title = {Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems},
author = {Abdelli Abdelkrim},
year = {2012},
url = {http://www.inf.u-szeged.hu/actacybernetica/edb/vol20n3/Abdelkrim_2012_ActaCybernetica.xml},
researchr = {https://researchr.org/publication/Abdelkrim12-0},
cites = {0},
citedby = {0},
journal = {Acta Cybern.},
volume = {20},
number = {3},
pages = {347-384},
}