@article{Abdulla:2005:COR:1705512.1705654,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Abdulla, Parosh Aziz and Deneux, Johann and Mahata, Pritha},
    File = {Closed, Open, and Robust Timed Networks - Abdulla, Deneux, Mahata (0) (0) - a - a - p.pdf},
    ISSN = {1571-0661},
    Journal = {Electron. Notes Theor. Comput. Sci.},
    Keywords = {Model Checking, Parameterized Timed Systems, Reachability, Undecidability},
    Month = {December},
    Number = {3},
    Pages = {117--151},
    Publisher = {Elsevier Science Publishers B. V.},
    Title = {Closed, Open, and Robust Timed Networks},
    URL = {http://dx.doi.org/10.1016/j.entcs.2005.03.027},
    Volume = {138},
    Year = {2005},
    acmid = {1705654},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2005.03.027},
    date-added = {2012-12-18 13:09:45 +0000},
    date-modified = {2012-12-18 13:09:45 +0000},
    issue_date = {December, 2005},
    numpages = {35},
    doi = {10.1016/j.entcs.2005.03.027}
}

@article{Abdulla:2005:COR:1705512.1705654, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Abdulla, Parosh Aziz and Deneux, Johann and Mahata, Pritha}, File = {Closed, Open, and Robust Timed Networks - Abdulla, Deneux, Mahata (0) (0) - a - a - p.pdf}, ISSN = {1571-0661}, Journal = {Electron. Notes Theor. Comput. Sci.}, Keywords = {Model Checking, Parameterized Timed Systems, Reachability, Undecidability}, Month = {December}, Number = {3}, Pages = {117--151}, Publisher = {Elsevier Science Publishers B. V.}, Title = {Closed, Open, and Robust Timed Networks}, URL = {http://dx.doi.org/10.1016/j.entcs.2005.03.027}, Volume = {138}, Year = {2005}, acmid = {1705654}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2005.03.027}, date-added = {2012-12-18 13:09:45 +0000}, date-modified = {2012-12-18 13:09:45 +0000}, issue_date = {December, 2005}, numpages = {35}, doi = {10.1016/j.entcs.2005.03.027} }