Timing verification by successive approximation
type: Item
instance of: scholarly article
title: Timing verification by successive approximation
zbMATH Open document ID: 0939.68705
author: Rajeev Alur
author: Mihalis Yannakakis
author: Alon Itai
author: R. P. Kurshan
published in: Information and Computation
publication date: 2000-07-04T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 758657
MaRDI profile type: Publication
full work available at URL: inco.1995.1059
OpenAlex ID: W1830600668
DOI: 10.1006/INCO.1995.1059
description: scientific article; zbMATH DE number 758657