On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
type: Item
instance of: scholarly article
title: On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
zbMATH Open document ID: 1381.68154
DOI: 10.1007/978-3-319-21690-4_2
author: Byron Cook
author: Heidy Khlaaf
author: Nir Piterman
publication date: 2018-03-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6845649
MaRDI profile type: Publication
full work available at URL: 978-3-319-21690-4 2
OpenAlex ID: W2128803539
description: scientific article; zbMATH DE number 6845649