Year 1991 Chicago Citation CIARDO, G., and K. S. TRIVEDI. “SOLUTION OF LARGE GSPN MODELS.” In NUMERICAL SOLUTION OF MARKOV CHAINS, 8:565–95, 1991.
