Probabilistic Evaluation for the Analytical Solution of Large Markov Models: Algorithms and Tool Support (1995)

by Aad P. A. Van Moorsel , Boudewijn R. Haverkort , Rheinisch-westfalische Technische , Hochschule Aachen
Venue:Microelectronics and Reliability
Citations:9 - 4 self

Document Versions

Probabilistic Evaluation for the Analytical Solution of Large Markov Models: Algorithms and Tool Support –Aad P. A. Van Moorsel, Boudewijn R. Haverkort — 1995
Probabilistic Evaluation for the Analytical Solution of Large Markov Models: Algorithms and Tool Support –Aad P. A. Van Moorsel, Boudewijn R. Haverkort, Rheinisch-westfalische Technische, Hochschule Aachen — 1995 — Microelectronics and Reliability