Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Alur, R., Torre, S.L., Pappas, G.J.: Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3), 297–322 (2004)
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
3. Lecture Notes in Computer Science;C. Baier,1999
4. Lecture Notes in Computer Science;G. Behrmann,2001
5. Bruno, J.L., Downey, P.J., Frederickson, G.N.: Sequencing tasks with exponential service times to minimize the expected flow time or makespan. J. ACM 28(1), 100–113 (1981)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献