author = { Larsen, Kim Guldstrand AND Rasmussen, Jacob Illum },

title = { Optimal reachability for multi-priced timed automata },

publisher = {Elsevier BV},

isbn = {0304-3975},

keywords = { General Computer Science , Theoretical Computer Science },

year = {2008},

url = { http://slubdd.de/katalog?TN_libero_mab2 }