Stubborn sets with frozen actions
type: Item
instance of: scholarly article
title: Stubborn sets with frozen actions
zbMATH Open document ID: 1478.68181
DOI: 10.1007/978-3-319-67089-8_12
author: Antti Valmari
publication date: 2017-12-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 06A07
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6820351
zbMATH Keywords: partial-order methods
zbMATH Keywords: stubborn sets
zbMATH Keywords: safety properties
zbMATH Keywords: ignoring problem
MaRDI profile type: Publication
full work available at URL: 978-3-319-67089-8 12
OpenAlex ID: W2747912422
description: scientific article; zbMATH DE number 6820351