{"_id":"3213","user_id":"29719","type":"journal_article","date_created":"2018-06-13T09:59:12Z","department":[{"_id":"77"}],"date_updated":"2022-01-06T06:59:05Z","title":"Modelchecking Correctness of Refactorings - Some Experiments","page":"3--17","author":[{"first_name":"H.{-}Christian","last_name":"Estler","full_name":"Estler, H.{-}Christian"},{"first_name":"Thomas","last_name":"Ruhroth","full_name":"Ruhroth, Thomas"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"publication":"Electr. Notes Theor. Comput. Sci.","doi":"10.1016/j.entcs.2006.08.041","status":"public","year":"2007","citation":{"ieee":"H. .-}Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness of Refactorings - Some Experiments,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 3--17, 2007.","bibtex":"@article{Estler_Ruhroth_Wehrheim_2007, title={Modelchecking Correctness of Refactorings - Some Experiments}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">10.1016/j.entcs.2006.08.041</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}, year={2007}, pages={3--17} }","ama":"Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings - Some Experiments. <i>Electr Notes Theor Comput Sci</i>. 2007:3--17. doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">10.1016/j.entcs.2006.08.041</a>","mla":"Estler, H. .. }Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2007, pp. 3--17, doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">10.1016/j.entcs.2006.08.041</a>.","apa":"Estler, H. .-}Christian, Ruhroth, T., &#38; Wehrheim, H. (2007). Modelchecking Correctness of Refactorings - Some Experiments. <i>Electr. Notes Theor. Comput. Sci.</i>, 3--17. <a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">https://doi.org/10.1016/j.entcs.2006.08.041</a>","chicago":"Estler, H.{-}Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking Correctness of Refactorings - Some Experiments.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2007, 3--17. <a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">https://doi.org/10.1016/j.entcs.2006.08.041</a>.","short":"H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17."}}