DMCA

Minimal cost reachability/coverability in priced timed Petri nets (2009)

by Parosh Aziz Abdulla , Richard Mayr
Venue:In FoSSaCS’09, volume 5504 of LNCS
Citations:15 - 2 self