Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

From MaRDI portal
Publication:5164168

DOI10.1007/978-3-030-45237-7_4zbMath1483.68233OpenAlexW3016368599MaRDI QIDQ5164168

Frédéric Lang, Franco Mazzanti, Radu Mateescu

Publication date: 10 November 2021

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-45237-7_4




Related Items (2)



Cites Work


This page was built for publication: Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities