@article{Delzanno:2003:CVP:947738.947765,
    Address = {Hingham, MA, USA},
    Author = {Delzanno, Giorgio},
    File = {Constraint-Based Verification of Parameterized Cache Coherence Protocols - Delzanno (0) (0) - a - a - g.pdf},
    ISSN = {0925-9856},
    Journal = {Form. Methods Syst. Des.},
    Keywords = {cache coherence protocols},
    Month = {November},
    Number = {3},
    Pages = {257--301},
    Publisher = {Kluwer Academic Publishers},
    Title = {Constraint-Based Verification of Parameterized Cache Coherence Protocols},
    URL = {http://dx.doi.org/10.1023/A:1026276129010},
    Volume = {23},
    Year = {2003},
    acmid = {947765},
    bdsk-url-1 = {http://dx.doi.org/10.1023/A:1026276129010},
    date-added = {2012-12-16 17:57:31 +0000},
    date-modified = {2013-01-22 06:05:30 +0000},
    issue_date = {November 2003},
    numpages = {45},
    doi = {10.1023/A:1026276129010}
}

@article{Delzanno:2003:CVP:947738.947765, Address = {Hingham, MA, USA}, Author = {Delzanno, Giorgio}, File = {Constraint-Based Verification of Parameterized Cache Coherence Protocols - Delzanno (0) (0) - a - a - g.pdf}, ISSN = {0925-9856}, Journal = {Form. Methods Syst. Des.}, Keywords = {cache coherence protocols}, Month = {November}, Number = {3}, Pages = {257--301}, Publisher = {Kluwer Academic Publishers}, Title = {Constraint-Based Verification of Parameterized Cache Coherence Protocols}, URL = {http://dx.doi.org/10.1023/A:1026276129010}, Volume = {23}, Year = {2003}, acmid = {947765}, bdsk-url-1 = {http://dx.doi.org/10.1023/A:1026276129010}, date-added = {2012-12-16 17:57:31 +0000}, date-modified = {2013-01-22 06:05:30 +0000}, issue_date = {November 2003}, numpages = {45}, doi = {10.1023/A:1026276129010} }