Survivability Modeling with Stochastic Reward Nets.

Poul E. Heegaard, Kishor S. Trivedi

Browse the full WSC paper archive.