{"status":"public","year":"2009","author":[{"last_name":"Ruhroth","full_name":"Ruhroth, Thomas","first_name":"Thomas"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"_id":"3200","title":"Static Class Elements for Object-Z","department":[{"_id":"77"}],"user_id":"29719","citation":{"mla":"Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, pp. 193--205, doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>.","ama":"Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. <i>Electr Notes Theor Comput Sci</i>. 2009:193--205. doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>","ieee":"T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 193--205, 2009.","apa":"Ruhroth, T., &#38; Wehrheim, H. (2009). Static Class Elements for Object-Z. <i>Electr. Notes Theor. Comput. Sci.</i>, 193--205. <a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">https://doi.org/10.1016/j.entcs.2009.12.025</a>","bibtex":"@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Ruhroth, Thomas and Wehrheim, Heike}, year={2009}, pages={193--205} }","short":"T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.","chicago":"Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, 193--205. <a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">https://doi.org/10.1016/j.entcs.2009.12.025</a>."},"date_created":"2018-06-13T09:26:31Z","doi":"10.1016/j.entcs.2009.12.025","page":"193--205","type":"journal_article","date_updated":"2022-01-06T06:59:04Z","publication":"Electr. Notes Theor. Comput. Sci."}