Stem itpn$ (all stems)
1 papers:
TACAS-2009-NaumovichBG #bound #named #performance #petri net- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
TACAS-2009-NaumovichBG #bound #named #performance #petri net