Veröffentlichungen

@inproceedings{Ropertz14,
Author = {Thorsten Ropertz and Karsten Berns},
Title = {Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories},
Booktitle = {Proceedings for the joint conference of ISR 2014 and ROBOTIK 2014},
Year = {2014},
Pages = {669--674},
Publisher = {VDE VERLAG GMBH},
}