1. Ajmone Marsan, M., Balb, G., Conte, G., Donatelli, S., Ranceschinis, G.F.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Chichester (1995)
2. Lecture Notes in Computer Science;A. Aziz,1995
3. Lecture Notes in Computer Science;A. Aziz,1996
4. Bahar, I., Frohm, E., Gaona, C., Hachtel, G., Macii, E., Padro, A., Somenzi, F.: Algebraic decision diagrams and their applications. Form. Meth. in Syst. Design 10(2/3), 171–206 (1997)
5. Baier, C.: On algorithmic verification methods for probabilistic systems. Habilitation thesis, Univ. of Mannheim (1999)