Author:
Fahrenberg Uli,Legay Axel
Publisher
Springer International Publishing
Reference33 articles.
1. Aceto, L., Fábregas, I., de Frutos-Escrig, D., Ingólfsdóttir, A., Palomino, M.: On the specification of modal systems. Sci. Comput. Program. 78(12), 2468–2487 (2013)
2. Aceto, L., Fokkink, W., van Glabbeek, R.J., Ingólfsdóttir, A.: Nested semantics over finite trees are equationally hard. Inf. Comput. 191(2), 203–232 (2004)
3. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wąsowski, A.: 20 years of modal and mixed specifications. Bull. EATCS 95, 94–129 (2008)
4. Lecture Notes in Computer Science;SS Bauer,2012
5. Bauer, S.S., Fahrenberg, U., Juhl, L., Larsen, K.G., Legay, A., Thrane, C.: Weighted modal transition systems. Form. Meth. Syst. Design 42(2), 193–220 (2013)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Behavioral Specification Theories: An Algebraic Taxonomy;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
2. Computing Branching Distances Using Quantitative Games;Theoretical Aspects of Computing – ICTAC 2019;2019
3. Property-Preserving Parallel Decomposition;Lecture Notes in Computer Science;2017