%0
Generic
%T
Optimal reachability for multi-priced timed automata
%A Larsen, Kim Guldstrand
%A Rasmussen, Jacob Illum
%I Elsevier BV
%@ 0304-3975
%K General Computer Science
%K Theoretical Computer Science
%D 2008
%C Elsevier BV
%U http://slubdd.de/katalog?TN_libero_mab2