@ARTICLE {34538,
author={F. Dionísio and J. Ramos and F. S. Subtil and L. Viganò},
doi={10.1093/jigpal/jzae043},
journal={Logic Journal of the IGPL},
title={Model checking distributed temporal logic},
year={2024},
month={May},
volume={33},
number={2},
pages={-},
ISSN={1367-0751}
}