Publications
Filters: Author is J.M. Colon [Clear All Filters]
[IPMoHaSeSi01] Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
.
2001.
[MBCD-wodes02] A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
.
2002.