Model Checking: From Tools to Theory
type: Item
instance of: scholarly article
title: Model Checking: From Tools to Theory
zbMATH Open document ID: 1142.68429
DOI: 10.1007/978-3-540-69850-0_6
published in: 25 Years of Model Checking
publication date: 2008-07-15T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5301045
author: Rajeev Alur
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-540-69850-0 6
OpenAlex ID: W1511286138
description: scientific article; zbMATH DE number 5301045