%0 Thesis %1 phd/dnb/Ropertz19 %A Ropertz, Thorsten %D 2019 %I Verlag Dr. Hut %K dblp %P 1-192 %T Design and Analysis of Behavior-Based Systems using Formal Techniques. %@ 978-3-8439-4189-1

@phdthesis{phd/dnb/Ropertz19, added-at = {2021-07-17T00:00:00.000+0200}, author = {Ropertz, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/247364d7f1a906468b207b6739ce421b3/dblp}, ee = {https://d-nb.info/120237221X}, interhash = {57e6690e86981dbb903fbf0e7c3d1baa}, intrahash = {47364d7f1a906468b207b6739ce421b3}, isbn = {978-3-8439-4189-1}, keywords = {dblp}, pages = {1-192}, publisher = {Verlag Dr. Hut}, school = {Kaiserslautern University of Technology, Germany}, timestamp = {2024-04-09T08:10:48.000+0200}, title = {Design and Analysis of Behavior-Based Systems using Formal Techniques.}, year = 2019 }