research
engineering approach to atomic transaction verification: use of a simple object model to achieve semantics-based reasoning at compile-time
- Publication date
- 1 January 1998
- Publisher
- University of Twente, Centre for Telematics and Information Technology (CTIT)