Francesco Basile, Gianmaria De Tommasi, Sara Dubbioso, Federico Fiorenza. Verification of K -Step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled With Petri Nets. IEEE Control Systems Letters, 9:865-870, 2025. [doi]
@article{BasileTDF25,
title = {Verification of K -Step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled With Petri Nets},
author = {Francesco Basile and Gianmaria De Tommasi and Sara Dubbioso and Federico Fiorenza},
year = {2025},
doi = {10.1109/LCSYS.2025.3575358},
url = {https://doi.org/10.1109/LCSYS.2025.3575358},
researchr = {https://researchr.org/publication/BasileTDF25},
cites = {0},
citedby = {0},
journal = {IEEE Control Systems Letters},
volume = {9},
pages = {865-870},
}