@inproceedings{Manasa:2008:UTA:1424049.1424093,
    Address = {Berlin, Heidelberg},
    Author = {Manasa, Lakshmi and Krishna, Shankara Narayanan and Nagaraj, Kumar},
    BookTitle = {Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms},
    File = {Updatable Timed Automata with Additive and Diagonal Constraints - Manasa, Krishna, Nagaraj (0) (0) - a - a - k.pdf},
    ISBN = {978-3-540-69405-2},
    Keywords = {timed automata},
    Location = {Athens, Greece},
    Pages = {407--416},
    Publisher = {Springer-Verlag},
    Series = {CiE '08},
    Title = {Updatable Timed Automata with Additive and Diagonal Constraints},
    URL = {http://dx.doi.org/10.1007/978-3-540-69407-6\_44},
    Year = {2008},
    acmid = {1424093},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-69407-6\_44},
    date-added = {2012-10-11 07:32:02 +0000},
    date-modified = {2012-10-26 09:17:48 +0000},
    numpages = {10},
    doi = {10.1007/978-3-540-69407-6_44}
}

@inproceedings{Manasa:2008:UTA:1424049.1424093, Address = {Berlin, Heidelberg}, Author = {Manasa, Lakshmi and Krishna, Shankara Narayanan and Nagaraj, Kumar}, BookTitle = {Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms}, File = {Updatable Timed Automata with Additive and Diagonal Constraints - Manasa, Krishna, Nagaraj (0) (0) - a - a - k.pdf}, ISBN = {978-3-540-69405-2}, Keywords = {timed automata}, Location = {Athens, Greece}, Pages = {407--416}, Publisher = {Springer-Verlag}, Series = {CiE '08}, Title = {Updatable Timed Automata with Additive and Diagonal Constraints}, URL = {http://dx.doi.org/10.1007/978-3-540-69407-6_44}, Year = {2008}, acmid = {1424093}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-69407-6_44}, date-added = {2012-10-11 07:32:02 +0000}, date-modified = {2012-10-26 09:17:48 +0000}, numpages = {10}, doi = {10.1007/978-3-540-69407-6_44} }