Formal Modelling for Cooking Assistance

@incollection{pub7602,
    author = {

Krieg-Brückner, Bernd
 and 

Autexier, Serge
 and 

Rink, Martin
 and 

Ghomsi Nokam, Sidoine
},
    editor = {

Nicola, Rocco De
 and 

Hennicker, Rolf
},
    title = {Formal Modelling for Cooking Assistance},
    booktitle = {Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2015},
    volume = {8950},
    pages = {355--376},
    publisher = {Springer International Publishing Switzerland}
}