Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Approximations for verifying timing properties
Home
Publications
Approximations for verifying timing properties
Approximations for verifying timing properties
HW
Howard Wong-Toi
Howard Wong-Toi
DD
David L. Dill
David L. Dill
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 February 1995
book chapter
Published by
World Scientific Pub Co Pte Ltd
p.
177-204
https://doi.org/10.1142/9789812831583_0007
Abstract
No abstract available
Keywords
APPROXIMATIONS
VERIFYING TIMING PROPERTIES
SECTIONS ARE INCLUDED
Cited by 32 articles