Login / Signup

Action Refinement for Probabilistic Processes with True Concurrency Models.

Harald FecherMila E. Majster-CederbaumJinzhao Wu
Published in: PAPM-PROBMIV (2002)
Keyphrases