Verifying Parameterized taDOM+ Lock Managers (Q5448673)
From MaRDI portal
scientific article; zbMATH DE number 5246017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying Parameterized taDOM+ Lock Managers |
scientific article; zbMATH DE number 5246017 |
Statements
Verifying Parameterized taDOM+ Lock Managers (English)
0 references
7 March 2008
0 references
Verification
0 references
model checking
0 references
parameterized systems
0 references
case study
0 references
XML databases
0 references
0 references
