Formal Modelling for Cooking Assistance
@incollection{KARG-15-a, author = {Bernd Krieg-Br\"uckner and Serge Autexier and Martin Ring and Sidoine Ghomsi Nokam}, editor = {Rocco De Nicola and Rolf Hennicker}, booktitle = {Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation}, title = {Formal Modelling for Cooking Assistance}, volume = {8950}, series = {LNCS}, publisher = {Springer International Publishing Switzerland }, pages = {355-376}, month = {february}, year = {2015}, }