{"status":"public","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"}],"supervisor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"date_updated":"2022-01-06T06:51:12Z","title":"Induction-based Verification of Timed Systems","type":"dissertation","user_id":"477","year":"2016","_id":"1190","file":[{"file_name":"1190-thesis_abgabeversion.pdf","content_type":"application/pdf","access_level":"closed","date_created":"2018-03-08T06:23:21Z","relation":"main_file","creator":"florida","file_size":3354335,"file_id":"1195","date_updated":"2018-03-08T09:14:11Z"}],"citation":{"apa":"Isenberg, T. (2016). <i>Induction-based Verification of Timed Systems</i>. Universität Paderborn.","ama":"Isenberg T. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn; 2016.","mla":"Isenberg, Tobias. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn, 2016.","chicago":"Isenberg, Tobias. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn, 2016.","short":"T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016.","ieee":"T. Isenberg, <i>Induction-based Verification of Timed Systems</i>. Universität Paderborn, 2016.","bibtex":"@book{Isenberg_2016, title={Induction-based Verification of Timed Systems}, publisher={Universität Paderborn}, author={Isenberg, Tobias}, year={2016} }"},"date_created":"2018-03-05T10:11:48Z","ddc":["040"],"publisher":"Universität Paderborn","department":[{"_id":"77"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-08T09:14:11Z","has_accepted_license":"1"}