Predicate Abstraction via Symbolic Decision Procedures (Q5310686)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Predicate Abstraction via Symbolic Decision Procedures |
scientific article; zbMATH DE number 5200156
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Predicate Abstraction via Symbolic Decision Procedures |
scientific article; zbMATH DE number 5200156 |
Statements
Predicate Abstraction via Symbolic Decision Procedures (English)
0 references
11 October 2007
0 references
0.98476380109787
0 references
0.9136906862258912
0 references
0.7988092303276062
0 references
0.7833572626113892
0 references
