{"author":[{"id":"13606","last_name":"Hüwe","full_name":"Hüwe, Marcus","first_name":"Marcus"},{"first_name":"Uwe","full_name":"Pohlmann, Uwe","last_name":"Pohlmann"}],"status":"public","place":"Zukunftsmeile 1, 33102 Paderborn, Germany","year":"2017","citation":{"short":"M. Hüwe, U. Pohlmann, Formal Definition and Proofs for the MechatronicUML Allocation Specification Language, Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.","chicago":"Hüwe, Marcus, and Uwe Pohlmann. <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.","bibtex":"@book{Hüwe_Pohlmann_2017, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={Formal Definition and Proofs for the MechatronicUML Allocation Specification Language}, author={Hüwe, Marcus and Pohlmann, Uwe}, year={2017} }","apa":"Hüwe, M., &#38; Pohlmann, U. (2017). <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany.","ieee":"M. Hüwe and U. Pohlmann, <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.","ama":"Hüwe M, Pohlmann U. <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany; 2017.","mla":"Hüwe, Marcus, and Uwe Pohlmann. <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. 2017."},"user_id":"15249","date_created":"2020-12-17T13:39:19Z","department":[{"_id":"241"}],"title":"Formal Definition and Proofs for the MechatronicUML Allocation Specification Language","_id":"20799","language":[{"iso":"eng"}],"type":"report","date_updated":"2022-01-06T06:54:39Z"}