@article{doi:10.1142/S0129054111008416,
    Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Rezine, Ahmed},
    EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054111008416},
    Journal = {International Journal of Foundations of Computer Science},
    Number = {04},
    Pages = {761-782},
    Title = {Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints},
    URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054111008416},
    Volume = {22},
    Year = {2011},
    bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054111008416},
    bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054111008416},
    date-added = {2012-12-18 11:06:40 +0000},
    date-modified = {2012-12-18 11:07:16 +0000},
    doi = {10.1142/S0129054111008416}
}

@article{doi:10.1142/S0129054111008416, Author = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Rezine, Ahmed}, EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054111008416}, Journal = {International Journal of Foundations of Computer Science}, Number = {04}, Pages = {761-782}, Title = {Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints}, URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054111008416}, Volume = {22}, Year = {2011}, bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054111008416}, bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054111008416}, date-added = {2012-12-18 11:06:40 +0000}, date-modified = {2012-12-18 11:07:16 +0000}, doi = {10.1142/S0129054111008416} }