Instantiation reduction in iterative parameterised three-valued model checking (Q2798043)
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: Instantiation reduction in iterative parameterised three-valued model checking |
scientific article; zbMATH DE number 6562134
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Instantiation reduction in iterative parameterised three-valued model checking |
scientific article; zbMATH DE number 6562134 |
Statements
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking (English)
0 references
1 April 2016
0 references
0.7518948316574097
0 references
0.7249657511711121
0 references
0.6987323760986328
0 references
0.6921387314796448
0 references
