%0 Journal Article %1 journals/re/PostMHP12 %A Post, Amalinda %A Menzel, Igor %A Hoenicke, Jochen %A Podelski, Andreas %D 2012 %J Requir. Eng. %K %N 1 %P 19-33 %T Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. %U http://dblp.uni-trier.de/db/journals/re/re17.html#PostMHP12 %V 17

@article{journals/re/PostMHP12, added-at = {2023-12-13T04:54:25.000+0100}, author = {Post, Amalinda and Menzel, Igor and Hoenicke, Jochen and Podelski, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/22f11a6f38a775e4474e61f0f28bf0d6d/admin}, ee = {https://doi.org/10.1007/s00766-011-0145-9}, interhash = {9be4beea9175ba9896efc65d74fd4fb6}, intrahash = {2f11a6f38a775e4474e61f0f28bf0d6d}, journal = {Requir. Eng.}, keywords = {}, number = 1, pages = {19-33}, timestamp = {2023-12-13T04:54:25.000+0100}, title = {Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH.}, url = {http://dblp.uni-trier.de/db/journals/re/re17.html#PostMHP12}, volume = 17, year = 2012 }