%0 Journal Article %1 broy_97_compositional %A Broy, Manfred %C New York, NY, USA %D 1997 %I ACM Press %J J. ACM %K 1997 refinement composition \_pdf %N 6 %P 850--891 %R http://dx.doi.org/10.1145/268999.269004 %T Compositional refinement of interactive systems %U http://dx.doi.org/10.1145/268999.269004 %V 44

@article{broy_97_compositional, added-at = {2009-03-10T04:53:17.000+0100}, address = {New York, NY, USA}, author = {Broy, Manfred}, biburl = {https://www.bibsonomy.org/bibtex/21c828e1472bf3c5781fc11b9b1a8c261/leonardo}, citeulike-article-id = {771687}, doi = {http://dx.doi.org/10.1145/268999.269004}, interhash = {792c410ba81c1fd0a2a5793bd3867974}, intrahash = {1c828e1472bf3c5781fc11b9b1a8c261}, issn = {0004-5411}, journal = {J. ACM}, keywords = {1997 refinement composition \_pdf}, month = {November}, number = 6, pages = {850--891}, posted-at = {2006-07-24 19:11:16}, priority = {4}, publisher = {ACM Press}, timestamp = {2009-03-10T04:53:17.000+0100}, title = {Compositional refinement of interactive systems}, url = {http://dx.doi.org/10.1145/268999.269004}, volume = 44, year = 1997 }