Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;C Baier,2014
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Bukhari, S.A.A., Lodhi, F.K., Hasan, O., Shafique, M., Henkel, J.: FAMe-TM: formal analysis methodology for task migration algorithms in many-core systems. Sci. Comput. Program. 133(2), 154–174 (2017).
https://doi.org/10.1016/j.scico.2016.06.004
4. Burmeister, L.C.: Convective Heat Transfer. Wiley, Hoboken (1993)
5. Dunn, D.: Intel delays Montecito in roadmap shakeup. EE Times, Manufacturing/Packaging (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multi-cost Bounded Tradeoff Analysis in MDP;Journal of Automated Reasoning;2020-07-28