Parametric temporal logic for “model measuring”
type: Item
instance of: scholarly article
title: Parametric temporal logic for “model measuring”
zbMATH Open document ID: 1171.68544
DOI: 10.1145/377978.377990
author: Kousha Etessami
author: Salvatore La Torre
author: Doron Peled
author: Rajeev Alur
published in: ACM Transactions on Computational Logic
publication date: 2008-12-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 5456460
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/377978.377990
OpenAlex ID: W2048780543
description: scientific article