%0 Journal Article %1 journals/fac/BanachP99 %A Banach, Richard %A Poppleton, Michael %D 1999 %J Formal Aspects Comput. %K dblp %N 5 %P 498-540 %T Sharp Retrenchment, Modulated Refinement and Simulation. %U http://dblp.uni-trier.de/db/journals/fac/fac11.html#BanachP99 %V 11

@article{journals/fac/BanachP99, added-at = {2022-05-09T00:00:00.000+0200}, author = {Banach, Richard and Poppleton, Michael}, biburl = {https://www.bibsonomy.org/bibtex/298e0a74b251ef35266723ead796d775f/dblp}, ee = {https://doi.org/10.1007/s001650050056}, interhash = {7f69202f15fb191fb902f6438a217224}, intrahash = {98e0a74b251ef35266723ead796d775f}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 5, pages = {498-540}, timestamp = {2024-04-09T05:38:09.000+0200}, title = {Sharp Retrenchment, Modulated Refinement and Simulation.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac11.html#BanachP99}, volume = 11, year = 1999 }