@article{German:1992:RSM:146637.146681,
    Address = {New York, NY, USA},
    Author = {German, Steven M. and Sistla, A. Prasad},
    File = {Reasoning about systems with many processes - German, Sistla (0) (0) - a - a - h.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {parametric systems},
    Month = {July},
    Number = {3},
    Pages = {675--735},
    Publisher = {ACM},
    Title = {Reasoning about systems with many processes},
    URL = {http://doi.acm.org/10.1145/146637.146681},
    Volume = {39},
    Year = {1992},
    acmid = {146681},
    bdsk-url-1 = {http://doi.acm.org/10.1145/146637.146681},
    bdsk-url-2 = {http://dx.doi.org/10.1145/146637.146681},
    date-added = {2012-12-29 14:30:03 +0000},
    date-modified = {2013-02-03 18:38:01 +0000},
    issue_date = {July 1992},
    numpages = {61},
    doi = {10.1145/146637.146681}
}

@article{German:1992:RSM:146637.146681, Address = {New York, NY, USA}, Author = {German, Steven M. and Sistla, A. Prasad}, File = {Reasoning about systems with many processes - German, Sistla (0) (0) - a - a - h.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {parametric systems}, Month = {July}, Number = {3}, Pages = {675--735}, Publisher = {ACM}, Title = {Reasoning about systems with many processes}, URL = {http://doi.acm.org/10.1145/146637.146681}, Volume = {39}, Year = {1992}, acmid = {146681}, bdsk-url-1 = {http://doi.acm.org/10.1145/146637.146681}, bdsk-url-2 = {http://dx.doi.org/10.1145/146637.146681}, date-added = {2012-12-29 14:30:03 +0000}, date-modified = {2013-02-03 18:38:01 +0000}, issue_date = {July 1992}, numpages = {61}, doi = {10.1145/146637.146681} }