Publication | Closed Access
An overview of transaction logic
151
Citations
38
References
1994
Year
EngineeringTransaction LogicAutomated ReasoningTransactional ApplicationFormal MethodsTransactional SystemTransaction ProcessingComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1