Skip to content

Adding Action Refinement to Stochastic True Concurrency Models.

Mila E. Majster-Cederbaum, Jinzhao Wu

VenueCICFEM
Year2003
ProceedingsICFEM

Browse the full ICFEM paper archive.