Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (Q5172643)
From MaRDI portal
scientific article; zbMATH DE number 6397677
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation |
scientific article; zbMATH DE number 6397677 |
Statements
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (English)
0 references
4 February 2015
0 references
