Author:
Bauer Sebastian S.,Fahrenberg Uli,Legay Axel,Thrane Claus
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis: A Hitchhiker’s Guide. Springer (2007)
2. Lecture Notes in Computer Science;S.S. Bauer,2011
3. Bauer, S.S., Juhl, L., Larsen, K.G., Legay, A., Srba, J.: Extending modal transition systems with structured labels. Math. Struct. CS (2012)
4. Bouyer, P., Fahrenberg, U., Larsen, K.G., Markey, N.: Quantitative analysis of real-time systems using priced timed automata. CACM 54(9), 78–87 (2011)
5. Chatterjee, K., Doyen, L., Henzinger, T.A.: Quantitative languages. ACM Trans. Comp. Logic 11(4) (2010)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献