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 Aufruf-StatistikSie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail Actions (login required)
|
|