Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)Chao Wang
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Chao Wang · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 186
- ISBN
- 9780387341552
Data source: Wikidata
More by Chao Wang
Combined Measure and Shift Invariance Theory of Time Scales and ApplicationsChao Wang
Combined Measure and Shift Invariance Theory of Time Scales and Applications
Chao Wang · 2022
Theory of Translation Closedness for Time ScalesChao Wang
Theory of Translation Closedness for Time Scales
Chao Wang · 2021
High Performance Computing for Big DataChao Wang
High Performance Computing for Big Data
Chao Wang · 2017
Abstraction Refinement for Large Scale Model CheckingChao Wang
Abstraction Refinement for Large Scale Model Checking
Chao Wang · 2006
Da Tong TheoryChao Wang
Da Tong Theory
Chao Wang · 2026
Domain-Specific Computer Architectures for Emerging ApplicationsChao Wang
Domain-Specific Computer Architectures for Emerging Applications
Chao Wang · 2024
Dynamic Equations and Almost Periodic Fuzzy Functions on Time ScalesChao Wang
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
Chao Wang · 2023
Local Well-Posedness and Break-Down Criterion of the Incompressible Euler Equations with Free BoundaryChao Wang
Local Well-Posedness and Break-Down Criterion of the Incompressible Euler Equations with Free Boundary
Chao Wang · 2021
San shi liu jiChao Wang
San shi liu ji
Chao Wang · 2015
Lun yuChao Wang
Lun yu
Chao Wang · 2015