{"page":"468--477","type":"conference","date_created":"2018-06-14T07:40:10Z","title":"Dependency-Based Action Refinement","publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","author":[{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"status":"public","date_updated":"2022-01-06T06:59:07Z","year":"1997","_id":"3258","series_title":"Lecture Notes in Computer Science","editor":[{"first_name":"Igor","full_name":"Pr{\\'{\\i}}vara, Igor","last_name":"Pr{\\'{\\i}}vara"},{"first_name":"Peter","full_name":"Ruzicka, Peter","last_name":"Ruzicka"}],"doi":"10.1007/BFb0029990","department":[{"_id":"77"}],"user_id":"29719","citation":{"apa":"Rensink, A., &#38; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr{\\’{\\i}}vara &#38; P. Ruzicka (Eds.), <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i> (pp. 468--477). <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>","ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, 1997, pp. 468--477.","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>.","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>}, booktitle={Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Pr{\\’{\\i}}vara, Igor and Ruzicka, PeterEditors}, year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science} }","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>. Lecture Notes in Computer Science. ; 1997:468--477. doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>","chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>.","short":"A. Rensink, H. Wehrheim, in: I. Pr{\\’{\\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477."}}