{"year":"2009","page":"135--151","publication":"Electr. Notes Theor. Comput. Sci.","department":[{"_id":"77"}],"user_id":"29719","date_created":"2018-06-13T09:24:52Z","status":"public","doi":"10.1016/j.entcs.2009.08.022","_id":"3199","title":"Compositional {CSP} Traces Refinement Checking","citation":{"short":"H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.","bibtex":"@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement Checking}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={135--151} }","chicago":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2009): 135--151. <a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">https://doi.org/10.1016/j.entcs.2009.08.022</a>.","ieee":"H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 135--151, 2009.","mla":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2009, pp. 135--151, doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>.","ama":"Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. <i>Electr Notes Theor Comput Sci</i>. 2009;(2):135--151. doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>","apa":"Wehrheim, H., &#38; Wonisch, D. (2009). Compositional {CSP} Traces Refinement Checking. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 135--151. <a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">https://doi.org/10.1016/j.entcs.2009.08.022</a>"},"author":[{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"},{"first_name":"Daniel","last_name":"Wonisch","full_name":"Wonisch, Daniel"}],"issue":"2","type":"journal_article","date_updated":"2022-01-06T06:59:04Z"}