%0 Thesis %1 phd/dnb/Schwab19 %A Schwab, Stefan %D 2019 %I KIT Scientific Publishing %K dblp %T Guaranteed Verification of Dynamic Systems.

@phdthesis{phd/dnb/Schwab19, added-at = {2022-07-04T00:00:00.000+0200}, author = {Schwab, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/274996f945cf05da912d2992375089b02/dblp}, ee = {https://d-nb.info/1252799144}, interhash = {b97870c559e2f002cceb2aa972dbb598}, intrahash = {74996f945cf05da912d2992375089b02}, keywords = {dblp}, publisher = {KIT Scientific Publishing}, school = {Karlsruhe Institute of Technology, Germany}, timestamp = {2024-04-09T08:35:21.000+0200}, title = {Guaranteed Verification of Dynamic Systems.}, year = 2019 }