{"type":"dissertation","title":"Towards Device Driver Synthesis","date_created":"2021-09-17T08:54:19Z","publication_status":"published","status":"public","author":[{"last_name":"Lehmann","full_name":"Lehmann, Thomas","first_name":"Thomas"},{"first_name":"K.","last_name":"Winter","full_name":"Winter, K."}],"date_updated":"2022-01-06T06:56:30Z","_id":"24600","intvolume":"       113","language":[{"iso":"eng"}],"year":"2002","volume":113,"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","department":[{"_id":"26"}],"citation":{"ieee":"T. Lehmann and K. Winter, <i>Towards Device Driver Synthesis</i>, vol. 113. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.","apa":"Lehmann, T., &#38; Winter, K. (2002). <i>Towards Device Driver Synthesis</i> (Vol. 113). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","mla":"Lehmann, Thomas, and K. Winter. <i>Towards Device Driver Synthesis</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.","chicago":"Lehmann, Thomas, and K. Winter. <i>Towards Device Driver Synthesis</i>. Vol. 113. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.","bibtex":"@book{Lehmann_Winter_2002, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Towards Device Driver Synthesis}, volume={113}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Lehmann, Thomas and Winter, K.}, year={2002}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","ama":"Lehmann T, Winter K. <i>Towards Device Driver Synthesis</i>. Vol 113. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.","short":"T. Lehmann, K. Winter, Towards Device Driver Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002."},"publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"60046"}