{"status":"public","year":"2014","title":"Visualisierung von SMT-Solver-Ausgaben","author":[{"full_name":"Osterbrink, Sebastian","last_name":"Osterbrink","first_name":"Sebastian"}],"date_updated":"2022-01-06T06:59:10Z","_id":"333","publisher":"Universität Paderborn","user_id":"477","citation":{"ama":"Osterbrink S. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn; 2014.","bibtex":"@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben}, publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014} }","mla":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","chicago":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","short":"S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.","apa":"Osterbrink, S. (2014). <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn.","ieee":"S. Osterbrink, <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_created":"2017-10-17T12:41:56Z","type":"bachelorsthesis"}