Login / Signup

Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.

Mila E. Majster-CederbaumJinzhao WuHouguang YueNaijun Zhan
Published in: ICFEM (2004)
Keyphrases