Complexity Bounds for the Verification of Real-Time Software
type: Item
instance of: scholarly article
title: Complexity Bounds for the Verification of Real-Time Software
zbMATH Open document ID: 1273.68223
DOI: 10.1007/978-3-642-11319-2_10
author: Rohit Chadha
author: Axel Legay
author: Pavithra Prabhakar
author: Mahesh Viswanathan
published in: Lecture Notes in Computer Science
publication date: 2010-01-14T00:00:00Z
full work available at URL: http://hdl.handle.net/2142/14134
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5658431
MaRDI profile type: Publication
OpenAlex ID: W1497713348
description: scientific article