Adequate Sets of Temporal Connectives in CTL
From MaRDI portal
Publication:4917081
DOI10.1016/S1571-0661(04)00214-2zbMath1260.03033MaRDI QIDQ4917081
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Cites Work
This page was built for publication: Adequate Sets of Temporal Connectives in CTL