Mapping Coloured Stochastic Petrinets to stochastic process algebras / Brodo, Linda; S., Gilmore; J., Hillston; MAPPING COLOURED STOCHASTIC PETRINETS TO STOCHASTIC PROCESS ALGEBRAS, AND C. P. R. I. A. M. I.. - Research Report 780:(2003), pp. 47-66.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.