{"doi":"10.1016/j.tcs.2005.06.020","_id":"3228","user_id":"29719","date_created":"2018-06-14T06:40:02Z","year":"2005","type":"journal_article","page":"509--528","date_updated":"2022-01-06T06:59:06Z","issue":"3","publication":"Theor. Comput. Sci.","department":[{"_id":"77"}],"author":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"title":"Slicing techniques for verification re-use","citation":{"mla":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput. Sci.</i>, no. 3, 2005, pp. 509--528, doi:<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>.","short":"H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.","apa":"Wehrheim, H. (2005). Slicing techniques for verification re-use. <i>Theor. Comput. Sci.</i>, (3), 509--528. <a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">https://doi.org/10.1016/j.tcs.2005.06.020</a>","bibtex":"@article{Wehrheim_2005, title={Slicing techniques for verification re-use}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>}, number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005}, pages={509--528} }","ama":"Wehrheim H. Slicing techniques for verification re-use. <i>Theor Comput Sci</i>. 2005;(3):509--528. doi:<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>","ieee":"H. Wehrheim, “Slicing techniques for verification re-use,” <i>Theor. Comput. Sci.</i>, no. 3, pp. 509--528, 2005.","chicago":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput. Sci.</i>, no. 3 (2005): 509--528. <a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">https://doi.org/10.1016/j.tcs.2005.06.020</a>."},"status":"public"}