Mario Bravetti, Pedro R. D'Argenio Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:44-88 [Conf]

Jeremy Sproston Model Checking for Probabilistic Timed Systems. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:189-229 [Conf]

Rashid Mehmood Serial Disk-based Analysis of Large Stochastic Models. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:230-255 [Conf]

Gethin Norman Analysing Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:384-418 [Conf]

Michael Huth An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:419-444 [Conf]

Ph. Schnoebelen The Verification of Probabilistic Lossy Channel Systems. [Citation Graph (0, 0)][DBLP] Validation of Stochastic Systems, 2004, pp:445-466 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP