Composing and refining dense temporal logic specifications
type: Item
instance of: scholarly article
title: Composing and refining dense temporal logic specifications
zbMATH Open document ID: 0963.68136
author: Antonio Cau
published in: Formal Aspects of Computing
publication date: 2000-11-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1530335
zbMATH Keywords: temporal logic
zbMATH Keywords: verification of reactive systems
MaRDI profile type: Publication
full work available at URL: s001650070036
OpenAlex ID: W2010562413
DOI: 10.1007/S001650070036
description: scientific article; zbMATH DE number 1530335