@inproceedings{Alur:1993:PRR:167088.167242,
    Address = {New York, NY, USA},
    Author = {Alur, Rajeev and Henzinger, Thomas A. and Vardi, Moshe Y.},
    BookTitle = {Proceedings of the twenty-fifth annual ACM symposium on Theory of computing},
    File = {Parametric real-time reasoning - Alur, Henzinger, Vardi (0) (0) - a - a - x.pdf},
    ISBN = {0-89791-591-7},
    Keywords = {timed automata},
    Location = {San Diego, California, United States},
    Pages = {592--601},
    Publisher = {ACM},
    Series = {STOC '93},
    Title = {Parametric real-time reasoning},
    URL = {http://doi.acm.org/10.1145/167088.167242},
    Year = {1993},
    acmid = {167242},
    bdsk-url-1 = {http://doi.acm.org/10.1145/167088.167242},
    bdsk-url-2 = {http://dx.doi.org/10.1145/167088.167242},
    date-added = {2012-12-05 16:57:44 +0000},
    date-modified = {2012-12-05 17:04:26 +0000},
    file-2 = {Parametric real-time reasoning - Alur, Henzinger, Vardi (1) (0) - a - a - x.pdf},
    numpages = {10},
    doi = {10.1145/167088.167242}
}

@inproceedings{Alur:1993:PRR:167088.167242, Address = {New York, NY, USA}, Author = {Alur, Rajeev and Henzinger, Thomas A. and Vardi, Moshe Y.}, BookTitle = {Proceedings of the twenty-fifth annual ACM symposium on Theory of computing}, File = {Parametric real-time reasoning - Alur, Henzinger, Vardi (0) (0) - a - a - x.pdf}, ISBN = {0-89791-591-7}, Keywords = {timed automata}, Location = {San Diego, California, United States}, Pages = {592--601}, Publisher = {ACM}, Series = {STOC '93}, Title = {Parametric real-time reasoning}, URL = {http://doi.acm.org/10.1145/167088.167242}, Year = {1993}, acmid = {167242}, bdsk-url-1 = {http://doi.acm.org/10.1145/167088.167242}, bdsk-url-2 = {http://dx.doi.org/10.1145/167088.167242}, date-added = {2012-12-05 16:57:44 +0000}, date-modified = {2012-12-05 17:04:26 +0000}, file-2 = {Parametric real-time reasoning - Alur, Henzinger, Vardi (1) (0) - a - a - x.pdf}, numpages = {10}, doi = {10.1145/167088.167242} }