Suitability of the propositional temporal logic to express properties of real-time systems
From MaRDI portal
Publication:5096770
DOI10.1007/3-540-55210-3_173zbMath1493.68218MaRDI QIDQ5096770
Publication date: 18 August 2022
Published in: STACS 92 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-55210-3_173
Cites Work