Anzahl der Einträge: 2.
Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun
Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.
Davies, Jim
Lecture Notes in Computer Science
3308
449-463
In: Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004; proceedings
(2004)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Mon Dec 30 01:23:29 2024 CET automatisch erstellt.