Refinement of Actions for Real-Time Concurrent Systems with Causal AmbiguityMajster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun
BASE:
Majster-Cederbaum, Mila
;
Wu, Jinzhao
;
Yue, Houguang
;
Zhan, Naijun
Google Scholar: Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun Page ViewsYou have found an error? Please let us know about your desired correction here: E-Mail Actions (login required)
|
|