Login / Signup

Adding Action Refinement to Stochastic True Concurrency Models.

Mila E. Majster-CederbaumJinzhao Wu
Published in: ICFEM (2003)
Keyphrases