![](/img/cover-not-exists.png)
[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Computing Optimal Coverability Costs in Priced Timed Petri Nets
Abdulla, Parosh Aziz, Mayr, RichardYear:
2011
Language:
english
DOI:
10.1109/lics.2011.40
File:
PDF, 416 KB
english, 2011