scientific article
From MaRDI portal
Publication:2970258
zbMath1413.68073MaRDI QIDQ2970258
Uli Fahrenberg, Claus Thrane, Kim Guldstrand Larsen
Publication date: 29 March 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (6)
On the Verification of Weighted Kripke Structures Under Uncertainty ⋮ Computing branching distances with quantitative games ⋮ The quantitative linear-time-branching-time spectrum ⋮ Weighted modal transition systems ⋮ Metrics for weighted transition systems: axiomatization and complexity ⋮ Timed Automata Can Always Be Made Implementable
This page was built for publication: