The complexity of reversal-bounded model-checking (Q3172883)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5954762
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The complexity of reversal-bounded model-checking |
scientific article; zbMATH DE number 5954762 |
Statements
The Complexity of Reversal-Bounded Model-Checking (English)
0 references
7 October 2011
0 references
0 references
0.8227072358131409
0 references
0.7936956882476807
0 references
0.7919849157333374
0 references
0.7741386890411377
0 references
