{"author":[{"first_name":"Johannes","full_name":"Späth, Johannes","last_name":"Späth"}],"publisher":"Universität Paderborn","department":[{"_id":"76"}],"status":"public","date_created":"2020-11-27T10:50:55Z","title":"Synchronized Pushdown Systems for Pointer and Data-Flow Analysis","user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/phdSpaeth.pdf"}],"citation":{"ieee":"J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.","short":"J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis, Universität Paderborn, 2019.","bibtex":"@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes}, year={2019} }","mla":"Späth, Johannes. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.","chicago":"Späth, Johannes. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.","apa":"Späth, J. (2019). Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn.","ama":"Späth J. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn; 2019."},"year":"2019","type":"dissertation","language":[{"iso":"eng"}],"supervisor":[{"last_name":"Bodden","id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric"}],"date_updated":"2022-01-06T06:54:29Z","_id":"20536"}