Numerical analysis of superposed GSPNs (1996)

by P Kemper
Venue:IEEE Trans. Softw. Eng