DMCA

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

by Parosh Aziz Abdulla , Mohamed Faouzi Atig , Jari 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
Citations:7 - 5 self