@inproceedings{bouyer:hal-01194611,
    Address = {Kolkata, India},
    Author = {Bouyer, Patricia and Larsen, Kim Guldstrand and Markey, Nicolas and Rasmussen, Jacob Illum},
    BookTitle = {{Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06)}},
    Editor = {Garg and Naveen and Arun-Kumar and S.},
    File = {BLMR-fsttcs06-long (0) (0) - a - a - j.pdf},
    PDF = {https://hal.archives-ouvertes.fr/hal-01194611/file/BLMR-fsttcs06.pdf},
    Pages = {345-356},
    Publisher = {{Springer}},
    Series = {Lecture Notes in Computer Science},
    Title = {{Almost Optimal Strategies in One-Clock Priced Timed Automata}},
    URL = {https://hal.archives-ouvertes.fr/hal-01194611},
    Volume = {4337},
    Year = {2006},
    bdsk-url-1 = {https://hal.archives-ouvertes.fr/hal-01194611},
    bdsk-url-2 = {https://doi.org/10.1007/11944836\%5C\_32},
    date-added = {2019-05-13 19:36:46 +0200},
    date-modified = {2019-05-13 19:36:46 +0200},
    hal_id = {hal-01194611},
    hal_version = {v1},
    doi = {10.1007/11944836_32}
}

@inproceedings{bouyer:hal-01194611, Address = {Kolkata, India}, Author = {Bouyer, Patricia and Larsen, Kim Guldstrand and Markey, Nicolas and Rasmussen, Jacob Illum}, BookTitle = {{Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06)}}, Editor = {Garg and Naveen and Arun-Kumar and S.}, File = {BLMR-fsttcs06-long (0) (0) - a - a - j.pdf}, PDF = {https://hal.archives-ouvertes.fr/hal-01194611/file/BLMR-fsttcs06.pdf}, Pages = {345-356}, Publisher = {{Springer}}, Series = {Lecture Notes in Computer Science}, Title = {{Almost Optimal Strategies in One-Clock Priced Timed Automata}}, URL = {https://hal.archives-ouvertes.fr/hal-01194611}, Volume = {4337}, Year = {2006}, bdsk-url-1 = {https://hal.archives-ouvertes.fr/hal-01194611}, bdsk-url-2 = {https://doi.org/10.1007/11944836\%5C_32}, date-added = {2019-05-13 19:36:46 +0200}, date-modified = {2019-05-13 19:36:46 +0200}, hal_id = {hal-01194611}, hal_version = {v1}, doi = {10.1007/11944836_32} }