Using eternity variables to specify and prove a serializable database interface (Q1881266)
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: Using eternity variables to specify and prove a serializable database interface |
scientific article; zbMATH DE number 2106011
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using eternity variables to specify and prove a serializable database interface |
scientific article; zbMATH DE number 2106011 |
Statements
Using eternity variables to specify and prove a serializable database interface (English)
0 references
4 October 2004
0 references
distributed database
0 references
NQTHM
0 references
0.8412582
0 references
0.8382595
0 references
0.82995856
0 references
0.8232409
0 references
