Enhancing model checking in verification by AI techniques
type: Item
instance of: scholarly article
title: Enhancing model checking in verification by AI techniques
zbMATH Open document ID: 0996.68104
DOI: 10.1016/S0004-3702(99)00039-9
author: Francesco Buccafurri
author: Thomas Eiter
author: Georg Gottlob
author: N. Leone
published in: Artificial Intelligence
publication date: 2002-07-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1770905
zbMATH Keywords: model checking
Wikidata QID: Q59259734
MaRDI profile type: Publication
full work available at URL: s0004-3702(99)00039-9
OpenAlex ID: W2035668577
description: scientific article; zbMATH DE number 1770905