article Heike Wehrheim author 573 Daniel Wonisch author 77 department 2009 10.1016/j.entcs.2009.08.022 2135--151 H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 135--151, 2009. 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> 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>. H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151. 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>. @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} } 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> 31992018-06-13T09:24:52Z2022-01-06T06:59:04Z