The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems (2012)

by P A Abdulla, M F Atig, J Stenman
Venue:In: Proceedings of the 6th International Conference on Language and Automata Theory and Applications (LATA’12). Volume 7183 of Lecture Notes in Computer Science., Springer-Verlag