No label defined (Q4501546)
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: scientific article; zbMATH DE number 1500528 |
scientific article; zbMATH DE number 1500528
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1500528 |
Statements
29 January 2001
0 references
two counter automata
0 references
semilinearity
0 references
symbolic reachability tree algorithm
0 references
0.7701103687286377
0 references
0.7631633877754211
0 references
0.7601252198219299
0 references
