S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Studia Logica Année : 2019

S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems

Sophie Pinchinat
Fichier non déposé

Dates et versions

hal-02540746 , version 1 (11-04-2020)

Identifiants

Citer

Sophie Pinchinat. S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems. Studia Logica, 2019, 107 (5), pp.1083-1088. ⟨10.1007/s11225-019-09875-0⟩. ⟨hal-02540746⟩
70 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More