%0 Conference Paper %1 conf/icra/ArmbrustKRB13 %A Armbrust, Christopher %A Kiekbusch, Lisa %A Ropertz, Thorsten %A Berns, Karsten %B ICRA %D 2013 %I IEEE %K dblp %P 1813-1820 %T Tool-assisted verification of behaviour networks. %U http://dblp.uni-trier.de/db/conf/icra/icra2013.html#ArmbrustKRB13 %@ 978-1-4673-5641-1

@inproceedings{conf/icra/ArmbrustKRB13, added-at = {2013-10-21T00:00:00.000+0200}, author = {Armbrust, Christopher and Kiekbusch, Lisa and Ropertz, Thorsten and Berns, Karsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/261b547eeb326c3bc3775074205bfc56d/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2013}, ee = {http://dx.doi.org/10.1109/ICRA.2013.6630816}, interhash = {6aafef6a984b7fecfedcfa99dd7c6e5e}, intrahash = {61b547eeb326c3bc3775074205bfc56d}, isbn = {978-1-4673-5641-1}, keywords = {dblp}, pages = {1813-1820}, publisher = {IEEE}, timestamp = {2016-02-02T11:31:06.000+0100}, title = {Tool-assisted verification of behaviour networks.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2013.html#ArmbrustKRB13}, year = 2013 }