Katoen J. P., Langerak R., Latella D.
Modeling systems Probabilistic process
An abstract is not available.
Source: FORTE '93, pp. 253–268, 1994
@inproceedings{oai:it.cnr:prodotti:190741, title = {Modeling systems by probabilistic process algebra: an event structures approach}, author = {Katoen J. P. and Langerak R. and Latella D.}, booktitle = {FORTE '93, pp. 253–268, 1994}, year = {1994} }