Quantitative Refinement for Weighted Modal Transition Systems
From MaRDI portal
Publication:3088029
DOI10.1007/978-3-642-22993-0_9zbMath1343.68150OpenAlexW4125734MaRDI QIDQ3088029
Line Juhl, Uli Fahrenberg, Claus Thrane, Sebastian S. Bauer, Axel Legay, Kim Guldstrand Larsen
Publication date: 17 August 2011
Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_9
Related Items
General quantitative specification theories with modal transition systems ⋮ Computing branching distances with quantitative games ⋮ Weighted modal transition systems ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Compositionality for quantitative specifications ⋮ Refinement checking on parametric modal transition systems
This page was built for publication: Quantitative Refinement for Weighted Modal Transition Systems