Anzahl der Einträge: 1.
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 Sat Aug 17 01:39:38 2024 CEST automatisch erstellt.