Local model checking and protocol analysis
type: Item
instance of: scholarly article
title: Local model checking and protocol analysis
zbMATH Open document ID: 1059.68584
author: Xiaoqun Du
author: Scott A. Smolka
author: Rance Cleaveland
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 1999-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1862281
zbMATH Keywords: model checking
zbMATH Keywords: modal mu-calculus
zbMATH Keywords: protocol verification
zbMATH Keywords: state explosion
zbMATH Keywords: real-time
MaRDI profile type: Publication
full work available at URL: s100090050031
OpenAlex ID: W2013208178
DOI: 10.1007/S100090050031
description: scientific article; zbMATH DE number 1862281