Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference63 articles.
1. Aceto L, Ingólfsdóttir A, Larsen KG, Srba J (2007) Reactive systems. Cambridge University Press, Cambridge
2. Aceto L, Fábregas I, de Frutos-Escrig D, Ingólfsdóttir A, Palomino M (2013) On the specification of modal systems: a comparison of three frameworks. Sci Comput Program 78(12):2468–2487
3. Aliprantis CD, Border KC (2007) Infinite dimensional analysis: a hitchhiker’s guide. Springer, Berlin
4. Bauer SS, Fahrenberg U, Juhl L, Larsen KG, Legay A, Thrane C (2011) Quantitative refinement for weighted modal transition systems. In: Murlak F, Sankowski P (eds) MFCS, volume 6907 of Lecture Notes Computer Science. Springer, Berlin, pp 60–71
5. Bauer SS, David A, Hennicker R, Larsen KG, Legay A, Nyman U, Wąsowski A (2012a) Moving from specifications to contracts in component-based design. In: de Lara J, Zisman A (eds) FASE, volume 7212 of Lecture Notes in Computer Science. Springer, Berlin, pp 43–58
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computing branching distances with quantitative games;Theoretical Computer Science;2020-12
2. Behavioral Specification Theories: An Algebraic Taxonomy;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
3. Computing Branching Distances Using Quantitative Games;Theoretical Aspects of Computing – ICTAC 2019;2019