Min-max event-triggered computation tree logic
From MaRDI portal
Publication:1847543
DOI10.1007/BF02717182zbMath1009.68073MaRDI QIDQ1847543
Jatindra Kumar Deka, Pallab Dasgupta, Partha Pratim Chakrabarti
Publication date: 1 May 2003
Published in: Sādhanā (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02717182
timing verification; temporal query language; computational tree logic; temporal logic model-checking
Cites Work