Anzahl der Einträge: 1.
Buchkapitel
|
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
[Buchkapitel]
|
|
Diese Liste wurde am Thu Nov 21 01:34:56 2024 CET automatisch erstellt.
