Veröffentlichungen

@inproceedings{Armbrust13,
Author = {Christopher Armbrust and Lisa Kiekbusch and Thorsten Ropertz and Karsten Berns},
Title = {Tool-Assisted Verification of Behaviour Networks},
Booktitle = {Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013)},
Year = {2013},
Pages = {1813--1820},
Address = {Karlsruhe, Germany},
Month = {May 6-10},
}