Analyzing concurrent and fault-tolerant software using stochastic reward nets

Abstract
No abstract available

This publication has 15 references indexed in Scilit: