Computing Optimal Coverability Costs in Priced Timed Petri Nets.

Parosh Aziz Abdulla, Richard Mayr

Browse the full LICS paper archive.