Model Checking Stochastic Automata for Dependability and Performance Measures.

Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch

Browse the full DSN paper archive.