Dense counter machines and verification problems. (Q5900673)
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: Dense counter machines and verification problems. |
scientific article; zbMATH DE number 5695352
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Dense counter machines and verification problems. |
scientific article; zbMATH DE number 5695352 |
Statements
Computer Aided Verification (English)
0 references
20 April 2010
0 references
0.8345839977264404
0 references
0.7996083498001099
0 references
0.7664222121238708
0 references
0.7648404836654663
0 references
