rel="stylesheet">
Creating and sharing knowledge in communications and information technology

Model checking distributed temporal logic

Dionísio, F. ; Ramos, J. ; Subtil, F. S. ; Viganò, L.

Logic Journal of the IGPL Vol. 33, Nº 2, pp. - , May, 2024.

ISSN (print): 1367-0751
ISSN (online): 1368-9894

Scimago Journal Ranking: 0,26 (in 2024)

Digital Object Identifier: 10.1093/jigpal/jzae043

Abstract