%0 Journal Article %1 banach_08_refinement %A Banach, Richard %A Schellhorn, Gerhard %C Amsterdam, The Netherlands, The Netherlands %D 2008 %I Elsevier Science Publishers B. V. %J Electron. Notes Theor. Comput. Sci. %K 2008 refinement %P 3--30 %R http://dx.doi.org/10.1016/j.entcs.2008.02.013 %T On the Refinement of Atomic Actions %U http://dx.doi.org/10.1016/j.entcs.2008.02.013 %V 201

@article{banach_08_refinement, added-at = {2009-02-11T20:11:39.000+0100}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Banach, Richard and Schellhorn, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/2f3d60f911cf3992dc9d40e1c37302185/leonardo}, citeulike-article-id = {2638470}, doi = {http://dx.doi.org/10.1016/j.entcs.2008.02.013}, interhash = {ac384d5635f2a4baea13ddca2a257580}, intrahash = {f3d60f911cf3992dc9d40e1c37302185}, issn = {1571-0661}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {2008 refinement}, pages = {3--30}, posted-at = {2008-04-07 19:35:25}, priority = {2}, publisher = {Elsevier Science Publishers B. V.}, timestamp = {2009-02-11T20:11:39.000+0100}, title = {On the Refinement of Atomic Actions}, url = {http://dx.doi.org/10.1016/j.entcs.2008.02.013}, volume = 201, year = 2008 }