C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Validation of Stochastic Systems
2004
2004
2004
Keyphrases
Publications
2004
Matthias Kuntz
,
Kai Lampka
Probabilistic Methods in State Space Analysis.
Validation of Stochastic Systems
(2004)
Jeremy Sproston
Model Checking for Probabilistic Timed Systems.
Validation of Stochastic Systems
(2004)
Andrew S. Miner
,
David Parker
Symbolic Representations and Analysis of Large Probabilistic Systems.
Validation of Stochastic Systems
(2004)
Benedikt Bollig
,
Martin Leucker
Verifying Qualitative Properties of Probabilistic Programs.
Validation of Stochastic Systems
(2004)
Frank Ciesinski
,
Marcus Größer
On Probabilistic Computation Tree Logic.
Validation of Stochastic Systems
(2004)
Rashid Mehmood
Serial Disk-based Analysis of Large Stochastic Models.
Validation of Stochastic Systems
(2004)
Mario Bravetti
,
Pedro R. D'Argenio
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.
Validation of Stochastic Systems
(2004)
Michael Huth
An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.
Validation of Stochastic Systems
(2004)
Natalia López
,
Manuel Núñez
An Overview of Probabilistic Process Algebras and their Equivalences.
Validation of Stochastic Systems
(2004)
Gethin Norman
Analysing Randomized Distributed Algorithms.
Validation of Stochastic Systems
(2004)
Philippe Schnoebelen
The Verification of Probabilistic Lossy Channel Systems.
Validation of Stochastic Systems
(2004)
Peter Buchholz
,
Peter Kemper
Kronecker Based Matrix Representations for Large Markov Models.
Validation of Stochastic Systems
(2004)
Ana Sokolova
,
Erik P. de Vink
Probabilistic Automata: System Types, Parallel Composition and Comparison.
Validation of Stochastic Systems
(2004)
volume 2925, 2004
Validation of Stochastic Systems - A Guide to Current Research
Validation of Stochastic Systems
2925 (2004)