Home > Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures > A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures |
Springer Berlin Heidelberg
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
Chapter Info
ARI Id
1664710898660_2856301
Access
Not Available Free
Pages
67-86
DOI
Chapter URL
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...