Ikhlass Ammar, Yamen El Touati, John Mullins, Moez Yeddes. Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. Int. J. Found. Comput. Sci., 32(2):175-202, 2021. [doi]
@article{AmmarTMY21,
title = {Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language},
author = {Ikhlass Ammar and Yamen El Touati and John Mullins and Moez Yeddes},
year = {2021},
doi = {10.1142/S0129054121500106},
url = {https://doi.org/10.1142/S0129054121500106},
researchr = {https://researchr.org/publication/AmmarTMY21},
cites = {0},
citedby = {0},
journal = {Int. J. Found. Comput. Sci.},
volume = {32},
number = {2},
pages = {175-202},
}