@article{Esparza:Acta:1997,
    Author = {Esparza, Javier},
    File = {Decidability of model checking for infinite-state concurrent systems - Esparza (0) (0) - a - a - z.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Informatica},
    Language = {English},
    Number = {2},
    Pages = {85-107},
    Publisher = {Springer-Verlag},
    Title = {Decidability of model checking for infinite-state concurrent systems},
    URL = {http://dx.doi.org/10.1007/s002360050074},
    Volume = {34},
    Year = {1997},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s002360050074},
    date-added = {2014-10-29 12:48:32 +0000},
    date-modified = {2014-10-29 12:48:32 +0000},
    file-2 = {Decidability of model checking for infinite-state concurrent systems - Esparza (1) (0) - a - a - z.pdf},
    doi = {10.1007/s002360050074}
}

@article{Esparza:Acta:1997, Author = {Esparza, Javier}, File = {Decidability of model checking for infinite-state concurrent systems - Esparza (0) (0) - a - a - z.pdf}, ISSN = {0001-5903}, Journal = {Acta Informatica}, Language = {English}, Number = {2}, Pages = {85-107}, Publisher = {Springer-Verlag}, Title = {Decidability of model checking for infinite-state concurrent systems}, URL = {http://dx.doi.org/10.1007/s002360050074}, Volume = {34}, Year = {1997}, bdsk-url-1 = {http://dx.doi.org/10.1007/s002360050074}, date-added = {2014-10-29 12:48:32 +0000}, date-modified = {2014-10-29 12:48:32 +0000}, file-2 = {Decidability of model checking for infinite-state concurrent systems - Esparza (1) (0) - a - a - z.pdf}, doi = {10.1007/s002360050074} }