Min-max event-triggered computation tree logic
type: Item
instance of: scholarly article
title: Min-max event-triggered computation tree logic
zbMATH Open document ID: 1009.68073
DOI: 10.1007/BF02717182
author: Pallab Dasgupta
author: J. K. Deka
author: P. P. Chakrabarti
published in: Sādhanā
publication date: 2003-05-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 1835899
zbMATH Keywords: computational tree logic
zbMATH Keywords: temporal query language
zbMATH Keywords: temporal logic model-checking
zbMATH Keywords: timing verification
MaRDI profile type: Publication
cites work: Model-checking in dense real-time
cites work: Real-time logics: Complexity and expressiveness
cites work: A really temporal logic
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q3619797
cites work: Min-max Computation Tree Logic
full work available at URL: https://doi.org/10.1007/bf02717182
OpenAlex ID: W2041542700
description: scientific article; zbMATH DE number 1835899