Author:
Baier Christel,Dubslaff Clemens,Korenčiak Ľuboš,Kučera Antonín,Řehák Vojtěch
Publisher
Springer International Publishing
Reference29 articles.
1. Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: STOC, pp. 592–601. ACM (1993)
2. Lecture Notes in Computer Science;EG Amparore,2014
3. Baier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A., Řehák, V.: Mean-payoff optimization in continuous-time Markov chains with parametric alarms. CoRR, abs/1706.06486 (2017)
4. Bernardin, L., et al.: Maple 16 Programming Guide (2012)
5. Bertsekas, D.P., Gallager, R.G.: Data Networks, 2nd edn. Prentice-Hall International, Upper Saddle River (1992)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献