Stefan Fischer;Stefan Leue
-;-
Issues in formal methods
Formal methods for distributed processing
Specifying and analysing multimedia systems
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
Computer Communications