Relay reachability algorithm for exploring huge state space (Q2852022)
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: Relay reachability algorithm for exploring huge state space |
scientific article; zbMATH DE number 6213640
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relay reachability algorithm for exploring huge state space |
scientific article; zbMATH DE number 6213640 |
Statements
7 October 2013
0 references
Relay reachability algorithm for exploring huge state space (English)
0 references
0.69950932264328
0 references
0.6943557262420654
0 references
0.691928505897522
0 references