"Revisiting Decidability and Optimum Reachability for Multi-Priced Timed ..."

Martin Fränzle, Mani Swaminathan (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics