@article{Hirschkoff199875,
    Author = {Hirschkoff, Daniel},
    File = {Automatically Proving Up–to Bisimulation - Hirschkoff (0) (0) - a - a - y.pdf},
    ISSN = {1571-0661},
    Journal = {Electr. Notes Theor. Comput. Sci.},
    Number = {0},
    Pages = {75 - 89},
    Title = {Automatically Proving Up--to Bisimulation},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066105802518},
    Volume = {18},
    Year = {1998},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105802518},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80251-8},
    date-added = {2014-01-03 18:14:35 +0000},
    date-modified = {2014-01-03 18:17:34 +0000},
    doi = {10.1016/S1571-0661(05)80251-8}
}

@article{Hirschkoff199875, Author = {Hirschkoff, Daniel}, File = {Automatically Proving Up–to Bisimulation - Hirschkoff (0) (0) - a - a - y.pdf}, ISSN = {1571-0661}, Journal = {Electr. Notes Theor. Comput. Sci.}, Number = {0}, Pages = {75 - 89}, Title = {Automatically Proving Up--to Bisimulation}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066105802518}, Volume = {18}, Year = {1998}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105802518}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80251-8}, date-added = {2014-01-03 18:14:35 +0000}, date-modified = {2014-01-03 18:17:34 +0000}, doi = {10.1016/S1571-0661(05)80251-8} }