[{"type":"mastersthesis","citation":{"apa":"Czech, M. (2016). Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn.","chicago":"Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.","mla":"Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.","bibtex":"@book{Czech_2016, title={Predicting Rankings of Software Verification Tools Using Kernels for Structured Data}, publisher={Universität Paderborn}, author={Czech, Mike}, year={2016} }","short":"M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, Universität Paderborn, 2016.","ieee":"M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016."},"uri_base":"https://ris.uni-paderborn.de","supervisor":[{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"language":[{}],"creator":{"login":"florida","id":"15504"},"date_updated":"2022-01-06T06:52:50Z","_id":"164","dini_type":"doc-type:other","status":"public","date_created":"2017-10-17T12:41:24Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"author":[{"first_name":"Mike","last_name":"Czech"}],"department":[{"_id":"77","tree":[{"_id":"7"},{"_id":"34"},{"_id":"44"},{"_id":"43"}]}],"dc":{"identifier":["https://ris.uni-paderborn.de/record/164"],"date":["2016"],"title":["Predicting Rankings of Software Verification Tools Using Kernels for Structured Data"],"creator":["Czech, Mike"],"source":["Czech M. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn; 2016."],"rights":["info:eu-repo/semantics/closedAccess"],"publisher":["Universität Paderborn"],"language":["eng"],"type":["info:eu-repo/semantics/other","doc-type:other","text","http://purl.org/coar/resource_type/c_1843"]},"user_id":"15504"}]