Stochastic automata network for modeling parallel systems (1991)

by Brigitte Plateau, Karim Atif
Venue:IEEE Trans. Software Eng