Hoon Choi
-
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers