@inproceedings{f84d2c508ac111dbbb3d000ea68e967b,
title = "As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat",
author = "Larsen, {Kim Guldstrand} and Gerd Behrmann and E. Brinksma and A. Fehnker and T. Hune and P. Pettersson and J. Romijn",
note = "ISSN ; 0302-9743; As Cheap as Possible ; Conference date: 19-05-2010",
year = "2001",
language = "English",
isbn = "3540423451",
pages = "493--505",
editor = "{Berry, G. : Comon, H. : Finkel, A. (eds.)}",
booktitle = "Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "2102",
}