%0 Conference Paper %1 conf/usab/HerzbergMLKJTB07 %A Herzberg, Dominikus %A Marsden, Nicola %A Leonhardt, Corinna %A Kübler, Peter %A Jung, Hartmut %A Thomanek, Sabine %A Becker, Annette %B USAB %D 2007 %E Holzinger, Andreas %I Springer %K dblp %P 41-54 %T Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. %U http://dblp.uni-trier.de/db/conf/usab/usab2007.html#HerzbergMLKJTB07 %V 4799 %@ 978-3-540-76804-3

@inproceedings{conf/usab/HerzbergMLKJTB07, added-at = {2017-05-26T00:00:00.000+0200}, author = {Herzberg, Dominikus and Marsden, Nicola and Leonhardt, Corinna and Kübler, Peter and Jung, Hartmut and Thomanek, Sabine and Becker, Annette}, biburl = {https://www.bibsonomy.org/bibtex/28f5c7e31ff866ada0e1a90bec4d70061/dblp}, booktitle = {USAB}, crossref = {conf/usab/2007}, editor = {Holzinger, Andreas}, ee = {https://doi.org/10.1007/978-3-540-76805-0_3}, interhash = {775806a390adb2ce53152aacc8438458}, intrahash = {8f5c7e31ff866ada0e1a90bec4d70061}, isbn = {978-3-540-76804-3}, keywords = {dblp}, pages = {41-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:27:15.000+0200}, title = {Using Formal Specification Techniques for Advanced Counseling Systems in Health Care.}, url = {http://dblp.uni-trier.de/db/conf/usab/usab2007.html#HerzbergMLKJTB07}, volume = 4799, year = 2007 }