%0 Journal Article %1 journals/sigbed/SchwarzZW13 %A Schwarz, Christian %A Zöbel, Dieter %A Wagner, Marco %D 2013 %J SIGBED Review %K dblp %N 4 %P 49-52 %T Formal verification of service-oriented adaptive driver assistance systems. %U http://dblp.uni-trier.de/db/journals/sigbed/sigbed10.html#SchwarzZW13 %V 10

@article{journals/sigbed/SchwarzZW13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Schwarz, Christian and Zöbel, Dieter and Wagner, Marco}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2612f2ecbf0cad661961a1100ecdec1f4/dblp}, ee = {https://doi.org/10.1145/2583687.2583699}, interhash = {2ebe3ed39674e23988f82e394d021479}, intrahash = {612f2ecbf0cad661961a1100ecdec1f4}, journal = {SIGBED Review}, keywords = {dblp}, number = 4, pages = {49-52}, timestamp = {2019-09-27T07:10:29.000+0200}, title = {Formal verification of service-oriented adaptive driver assistance systems.}, url = {http://dblp.uni-trier.de/db/journals/sigbed/sigbed10.html#SchwarzZW13}, volume = 10, year = 2013 }