Survivability analysis of networked systems
暂无分享,去创建一个
[1] E. Altman. Constrained Markov Decision Processes , 1999 .
[2] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[3] Luca de Alfaro,et al. Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation , 2000, TACAS.
[4] Jason Flinn,et al. Summaries of Three Critical Infrastructure Applications , 1997 .
[5] Christel Baier,et al. Model checking for a probabilistic branching time logic with fairness , 1998, Distributed Computing.
[6] Nancy A. Lynch,et al. Proving time bounds for randomized distributed algorithms , 1994, PODC '94.
[7] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[8] David K. Smith. Theory of Linear and Integer Programming , 1987 .