Title of article
Verifiable Properties of Database Transactions
Author/Authors
Michael Benedikt، نويسنده , , Timothy Griffin، نويسنده , , Leonid Libkin، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
32
From page
57
To page
88
Journal title
Information and Computation
Serial Year
1998
Journal title
Information and Computation
Record number
261803
Link To Document