scientific article
From MaRDI portal
Publication:2736352
zbMath0967.68514MaRDI QIDQ2736352
Bengt Jonsson, Kim Guldstrand Larsen
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Factorization for Component-Interaction Automata ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ Modal event-clock specifications for timed component-based design ⋮ Unnamed Item ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ The expressive power of implicit specifications ⋮ Branching time controllers for discrete event systems ⋮ Complexity of Decision Problems for Mixed and Modal Specifications
This page was built for publication:
