scientific article
From MaRDI portal
Publication:3510491
zbMath1144.68040MaRDI QIDQ3510491
Publication date: 3 July 2008
Full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-7165-7
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (4)
Cost vs. time in stochastic games and Markov automata ⋮ A Tutorial on Interactive Markov Chains ⋮ Model Based Importance Analysis for Minimal Cut Sets ⋮ Compositional Abstraction for Stochastic Systems
This page was built for publication:
