@article{Bouyer:ENTCS:2006,
    Abstract = {In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model.},
    Author = {Bouyer, Patricia},
    File = {Weighted timed automata - Model-checking and games - 1-s2.0-S1571066106001563-main - a - a - a - c.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {Weighted/priced timed automata, model-checking, games},
    Note = {Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII)},
    Pages = {3--17},
    Title = {Weighted Timed Automata: Model-Checking and Games},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066106001563},
    Volume = {158},
    Year = {2006},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066106001563},
    bdsk-url-2 = {https://doi.org/10.1016/j.entcs.2006.04.002},
    date-added = {2020-02-06 19:03:42 +0100},
    date-modified = {2020-02-06 19:03:56 +0100},
    file-2 = {Weighted timed automata- Model-checking and games - bouyer-mfps06 - a - a - a - c.pdf},
    doi = {10.1016/j.entcs.2006.04.002}
}

@article{Bouyer:ENTCS:2006, Abstract = {In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model.}, Author = {Bouyer, Patricia}, File = {Weighted timed automata - Model-checking and games - 1-s2.0-S1571066106001563-main - a - a - a - c.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {Weighted/priced timed automata, model-checking, games}, Note = {Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII)}, Pages = {3--17}, Title = {Weighted Timed Automata: Model-Checking and Games}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066106001563}, Volume = {158}, Year = {2006}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066106001563}, bdsk-url-2 = {https://doi.org/10.1016/j.entcs.2006.04.002}, date-added = {2020-02-06 19:03:42 +0100}, date-modified = {2020-02-06 19:03:56 +0100}, file-2 = {Weighted timed automata- Model-checking and games - bouyer-mfps06 - a - a - a - c.pdf}, doi = {10.1016/j.entcs.2006.04.002} }