Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604)
From MaRDI portal
scientific article; zbMATH DE number 5259432
Language | Label | Description | Also known as |
---|---|---|---|
English | Language-Based Abstraction Refinement for Hybrid System Verification |
scientific article; zbMATH DE number 5259432 |
Statements
Language-Based Abstraction Refinement for Hybrid System Verification (English)
0 references
4 April 2008
0 references