Model-checking graded computation-tree logic with finite path semantics

From MaRDI portal
Publication:2285155

DOI10.1016/j.tcs.2019.09.021zbMath1436.68197OpenAlexW2974614356MaRDI QIDQ2285155

Sasha Rubin, Loredana Sorrentino, Aniello Murano

Publication date: 16 January 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2019.09.021




Related Items


Uses Software


Cites Work