Skip to main content Skip to main navigation

Publications

Page 1 of 1.

  1. Bernd Krieg-Brückner; Serge Autexier; Martin Rink; Sidoine Ghomsi Nokam

    Formal Modelling for Cooking Assistance

    In: Rocco De Nicola; Rolf Hennicker (Hrsg.). Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. …