Abstract is missing.
- Probabilistic Automata: System Types, Parallel Composition and ComparisonAna Sokolova, Erik P. de Vink. 1-43 [doi]
- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General DistributionsMario Bravetti, Pedro R. D Argenio. 44-88 [doi]
- An Overview of Probabilistic Process Algebras and their EquivalencesNatalia López, Manuel Núñez. 89-123 [doi]
- Verifying Qualitative Properties of Probabilistic ProgramsBenedikt Bollig, Martin Leucker. 124-146 [doi]
- On Probabilistic Computation Tree LogicFrank Ciesinski, Marcus Größer. 147-188 [doi]
- Model Checking for Probabilistic Timed SystemsJeremy Sproston. 189-229 [doi]
- Serial Disk-based Analysis of Large Stochastic ModelsRashid Mehmood. 230-255 [doi]
- Kronecker Based Matrix Representations for Large Markov ModelsPeter Buchholz, Peter Kemper. 256-295 [doi]
- Symbolic Representations and Analysis of Large Probabilistic SystemsAndrew S. Miner, David Parker. 296-338 [doi]
- Probabilistic Methods in State Space AnalysisMatthias Kuntz, Kai Lampka. 339-383 [doi]
- Analysing Randomized Distributed AlgorithmsGethin J. Norman. 384-418 [doi]
- An Abstraction Framework for Mixed Non-deterministic and Probabilistic SystemsMichael Huth. 419-444 [doi]
- The Verification of Probabilistic Lossy Channel SystemsPh. Schnoebelen. 445-466 [doi]