@inproceedings{2966648f8eb0452c91b3140517e577e0,
title = "Pareto Optimal Reachability Analysis for Simple Priced Timed Automata",
author = "Brian Nielsen and Zhengkui Zhang and Larsen, {Kim Guldstrand} and Gilles Nies and Holger Hermanns and Marvin Stenger",
year = "2017",
doi = "10.1007/978-3-319-68690-5_29",
language = "English",
isbn = "978-3-319-68689-9",
series = "Lecture Notes in Computer Science : Programming and Software Engineering",
publisher = "Springer",
pages = "481--495",
booktitle = "Formal Methods and Software Engineering",
address = "Germany",
note = "19th International Conference on Formal Engineering Methods ; Conference date: 13-11-2017 Through 17-11-2017",
}