DMCA

Using Eternity Variables to Specify and Prove a Serializable Database Interface (2003)

Cached

Download Links

by Wim H. Hesselink , Th May
Venue:Sci. Comput. Program
Citations:10 - 9 self