Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Validation of Stochastic Systems - A Guide to Current Research 2004
DBLP:	db/conf/voss/voss2004.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Benedikt Bollig, Martin Leucker. Verifying Qualitative Properties of Probabilistic Programs.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper 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 - A Guide to Current Research 2004	(0)	2004
	Conference paper Peter Buchholz, Peter Kemper. Kronecker Based Matrix Representations for Large Markov Models.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper Frank Ciesinski, Marcus Größer. On Probabilistic Computation Tree Logic.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper Michael Huth. An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper Matthias Kuntz, Kai Lampka. Probabilistic Methods in State Space Analysis.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper Natalia López, Manuel Núñez. An Overview of Probabilistic Process Algebras and their Equivalences.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper Rashid Mehmood. Serial Disk-based Analysis of Large Stochastic Models.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper Andrew S. Miner, David Parker. Symbolic Representations and Analysis of Large Probabilistic Systems.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004
	Conference paper Gethin Norman. Analysing Randomized Distributed Algorithms.	Validation of Stochastic Systems - A Guide to Current Research 2004	(0)	2004

Show item 1 to 10 of 13  

Your query returned 13 matches in the database.