whh282a – 1 Using Eternity Variables to Specify and Prove a Serializable Database Interface Wim H. Hesselink, 6th May 2003 Dept. of Mathematics and Computing Science, Rijksuniversiteit Groningen - Eternity - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-03-22 21:29:16		whh282a – 1 Using Eternity Variables to Specify and Prove a Serializable Database Interface Wim H. Hesselink, 6th May 2003 Dept. of Mathematics and Computing Science, Rijksuniversiteit Groningen Add to Reading List Source URL: wimhesselink.nl Download Document from Source Website File Size: 279,00 KB Share Document on Facebook