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 Fri Apr 10 06:00:32 2026 CEST
