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

Book chapter

Majster-Cederbaum, Mila ; Wu, Jinzhao (2003) Adding Action Refinement to Stochastic True Concurrency Models. Dong, Jin Song Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003; proceedings Lecture Notes in Computer Science Berlin [u.a.] 2885 226-245 [Book chapter]

This list was created automatically on Tue Jun 22 05:46:50 2021 CEST