[{"issue":"2","creator":{"login":"schlatt","id":"29719"},"_id":"3199","date_updated":"2022-01-06T06:59:04Z","uri_base":"https://ris.uni-paderborn.de","page":"135--151","citation":{"short":"H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.","ieee":"H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 135--151, 2009.","apa":"Wehrheim, H., & Wonisch, D. (2009). Compositional {CSP} Traces Refinement Checking. Electr. Notes Theor. Comput. Sci., (2), 135--151. https://doi.org/10.1016/j.entcs.2009.08.022","chicago":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151. https://doi.org/10.1016/j.entcs.2009.08.022.","bibtex":"@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement Checking}, DOI={10.1016/j.entcs.2009.08.022}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={135--151} }","mla":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2, 2009, pp. 135--151, doi:10.1016/j.entcs.2009.08.022."},"type":"journal_article","user_id":"29719","dc":{"creator":["Wehrheim, Heike","Wonisch, Daniel"],"source":["Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. Electr Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022"],"title":["Compositional {CSP} Traces Refinement Checking"],"date":["2009"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2009.08.022"],"identifier":["https://ris.uni-paderborn.de/record/3199"],"type":["info:eu-repo/semantics/article","doc-type:article","text","http://purl.org/coar/resource_type/c_6501"],"rights":["info:eu-repo/semantics/closedAccess"]},"date_created":"2018-06-13T09:24:52Z","status":"public","dini_type":"doc-type:article","publication":"Electr. Notes Theor. Comput. Sci.","department":[{"tree":[{"_id":"7"},{"_id":"34"},{"_id":"44"},{"_id":"43"}],"_id":"77"}],"author":[{"first_name":"Heike","id":"573","last_name":"Wehrheim"},{"last_name":"Wonisch","first_name":"Daniel"}]}]