Lecture Notes in Computer Science
© 2004
Validation of Stochastic Systems
A Guide to Current Research
Editors: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (Eds.)
Free PreviewBuy this book
- Table of contents (13 chapters)
-
-
Probabilistic Automata: System Types, Parallel Composition and Comparison
Pages 1-43
-
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions
Pages 44-88
-
An Overview of Probabilistic Process Algebras and Their Equivalences
Pages 89-123
-
Verifying Qualitative Properties of Probabilistic Programs
Pages 124-146
-
On Probabilistic Computation Tree Logic
Pages 147-188
-
Table of contents (13 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Validation of Stochastic Systems
- Book Subtitle
- A Guide to Current Research
- Editors
-
- Christel Baier
- Boudewijn R. Haverkort
- Holger Hermanns
- Joost-Pieter Katoen
- Markus Siegle
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 2925
- Copyright
- 2004
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-24611-4
- DOI
- 10.1007/b98484
- Softcover ISBN
- 978-3-540-22265-1
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- VIII, 472
- Topics