%0 Conference Paper %1 conf/birthday/Krieg-BrucknerA15 %A Krieg-Brückner, Bernd %A Autexier, Serge %A Rink, Martin %A Nokam, Sidoine Ghomsi %B Software, Services, and Systems %D 2015 %E Nicola, Rocco De %E Hennicker, Rolf %I Springer %K %P 355-376 %T Formal Modelling for Cooking Assistance. %U http://dblp.uni-trier.de/db/conf/birthday/wirsing2015.html#Krieg-BrucknerA15 %V 8950 %@ 978-3-319-15544-9

@inproceedings{conf/birthday/Krieg-BrucknerA15, added-at = {2023-12-13T04:29:48.000+0100}, author = {Krieg-Brückner, Bernd and Autexier, Serge and Rink, Martin and Nokam, Sidoine Ghomsi}, biburl = {https://www.bibsonomy.org/bibtex/23e448c069a18fd27feda3fa382f8fd6f/admin}, booktitle = {Software, Services, and Systems}, crossref = {conf/birthday/2015wirsing}, editor = {Nicola, Rocco De and Hennicker, Rolf}, ee = {https://doi.org/10.1007/978-3-319-15545-6_22}, interhash = {9691f451323ef2f79eb51a8734d6c3a2}, intrahash = {3e448c069a18fd27feda3fa382f8fd6f}, isbn = {978-3-319-15544-9}, keywords = {}, pages = {355-376}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:29:48.000+0100}, title = {Formal Modelling for Cooking Assistance.}, url = {http://dblp.uni-trier.de/db/conf/birthday/wirsing2015.html#Krieg-BrucknerA15}, volume = 8950, year = 2015 }