Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 1.

Conference or workshop publication

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 [Conference or workshop publication]

This list was created automatically on Sun Jun 13 05:26:06 2021 CEST