{"user_id":"29719","year":"1999","department":[{"_id":"77"}],"author":[{"first_name":"Heike","id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Partial order reductions for failures refinement","_id":"3252","page":"71--84","publication":"Electr. Notes Theor. Comput. Sci.","date_updated":"2022-01-06T06:59:07Z","citation":{"bibtex":"@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }","mla":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” <i>Electr. Notes Theor. Comput. Sci.</i>, 1999, pp. 71--84, doi:<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>.","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.","chicago":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” <i>Electr. Notes Theor. Comput. Sci.</i>, 1999, 71--84. <a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">https://doi.org/10.1016/S1571-0661(05)80296-8</a>.","apa":"Wehrheim, H. (1999). Partial order reductions for failures refinement. <i>Electr. Notes Theor. Comput. Sci.</i>, 71--84. <a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">https://doi.org/10.1016/S1571-0661(05)80296-8</a>","ieee":"H. Wehrheim, “Partial order reductions for failures refinement,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 71--84, 1999.","ama":"Wehrheim H. Partial order reductions for failures refinement. <i>Electr Notes Theor Comput Sci</i>. 1999:71--84. doi:<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>"},"type":"journal_article","doi":"10.1016/S1571-0661(05)80296-8","date_created":"2018-06-14T07:26:58Z","status":"public"}