@inproceedings {CDS-StMalo-97, title = {Structured Solution of Stochastic DSSP Systems}, year = {1997}, month = {6}, pages = {91-100}, publisher = {IEEE Computer Society Press}, organization = {IEEE Computer Society Press}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/97_CDS_StMalo.ps.gz}, author = {J. Campos and S. Donatelli and M. Silva} }