%0 Conference Paper %1 conf/mbmv/RopertzBL016 %A Ropertz, Thorsten %A Berns, Karsten %A Li, Xian %A Schneider, Klaus %B MBMV %D 2016 %E Wimmer, Ralf %I Albert-Ludwigs-Universität Freiburg %K dblp %P 128-137 %T Verification of Behavior-Based Control Systems in their Physical Environment. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#RopertzBL016 %@ 978-3-00-052380-9

@inproceedings{conf/mbmv/RopertzBL016, added-at = {2024-04-04T00:00:00.000+0200}, author = {Ropertz, Thorsten and Berns, Karsten and Li, Xian and Schneider, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/26e995019acc90d5c1d1d3a7ef98fdb4a/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2016}, editor = {Wimmer, Ralf}, ee = {https://doi.org/10.6094/UNIFR/10646}, interhash = {14bf9a71100cb2dca5d738abf95dcac2}, intrahash = {6e995019acc90d5c1d1d3a7ef98fdb4a}, isbn = {978-3-00-052380-9}, keywords = {dblp}, pages = {128-137}, publisher = {Albert-Ludwigs-Universität Freiburg}, timestamp = {2024-04-10T06:15:26.000+0200}, title = {Verification of Behavior-Based Control Systems in their Physical Environment.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#RopertzBL016}, year = 2016 }