Hartmut Wittig;Lars C. Wolf;Carsten Vogt
-;-;-
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
Computer Communications