Author:
Baier Christel,Daum Marcus,Dubslaff Clemens,Klein Joachim,Klüppelholz Sascha
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;S. Andova,2004
2. Baier, C., Daum, M., Dubslaff, C., Klein, J., Klüppelholz, S.: Energy-Utility Quantiles. Technical report, TU Dresden (2014),
http://wwwtcs.inf.tu-dresden.de/ALGI/PUB/NFM14/
3. Lecture Notes in Computer Science;C. Baier,2012
4. Baier, C., Dubslaff, C., Klein, J., Klüppelholz, S., Wunderlich, S.: Probabilistic Model Checking for Energy-Utility Analysis. Festschrift (to appear 2014)
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献