{"type":"dissertation","date_updated":"2022-01-06T06:59:07Z","department":[{"_id":"77"}],"title":"Specifying reactive systems with action dependencies: modelling and hierarchical design","_id":"3260","citation":{"ieee":"H. Wehrheim, <i>Specifying reactive systems with action dependencies: modelling and hierarchical design</i>. University of Hildesheim, Germany, 1996.","bibtex":"@book{Wehrheim_1996, title={Specifying reactive systems with action dependencies: modelling and hierarchical design}, publisher={University of Hildesheim, Germany}, author={Wehrheim, Heike}, year={1996} }","ama":"Wehrheim H. <i>Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design</i>. University of Hildesheim, Germany; 1996.","mla":"Wehrheim, Heike. <i>Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design</i>. University of Hildesheim, Germany, 1996.","chicago":"Wehrheim, Heike. <i>Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design</i>. University of Hildesheim, Germany, 1996.","apa":"Wehrheim, H. (1996). <i>Specifying reactive systems with action dependencies: modelling and hierarchical design</i>. University of Hildesheim, Germany.","short":"H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996."},"user_id":"29719","date_created":"2018-06-14T07:44:32Z","status":"public","year":"1996","publisher":"University of Hildesheim, Germany","author":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}]}