@inproceedings{Jovanovic:2013:IPS:2450387.2450428,
    Address = {Berlin, Heidelberg},
    Author = {Jovanovi\'{c}, Aleksandra and Lime, Didier and Roux, Olivier H.},
    BookTitle = {Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
    File = {Integer Parameter Synthesis for Timed Automata - Jovanovic, Lime, Roux (0) (0) - a - a - y.pdf},
    ISBN = {978-3-642-36741-0},
    Location = {Rome, Italy},
    Pages = {401--415},
    Publisher = {Springer-Verlag},
    Series = {TACAS'13},
    Title = {Integer Parameter Synthesis for Timed Automata},
    URL = {http://dx.doi.org/10.1007/978-3-642-36742-7\_28},
    Year = {2013},
    acmid = {2450428},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-36742-7\_28},
    date-added = {2016-08-17 15:00:33 +0000},
    date-modified = {2016-08-17 15:00:33 +0000},
    numpages = {15},
    doi = {10.1007/978-3-642-36742-7_28}
}

@inproceedings{Jovanovic:2013:IPS:2450387.2450428, Address = {Berlin, Heidelberg}, Author = {Jovanovi\'{c}, Aleksandra and Lime, Didier and Roux, Olivier H.}, BookTitle = {Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, File = {Integer Parameter Synthesis for Timed Automata - Jovanovic, Lime, Roux (0) (0) - a - a - y.pdf}, ISBN = {978-3-642-36741-0}, Location = {Rome, Italy}, Pages = {401--415}, Publisher = {Springer-Verlag}, Series = {TACAS'13}, Title = {Integer Parameter Synthesis for Timed Automata}, URL = {http://dx.doi.org/10.1007/978-3-642-36742-7_28}, Year = {2013}, acmid = {2450428}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-36742-7_28}, date-added = {2016-08-17 15:00:33 +0000}, date-modified = {2016-08-17 15:00:33 +0000}, numpages = {15}, doi = {10.1007/978-3-642-36742-7_28} }