%0 Journal Article %1 journals/scp/Heckmann91 %A Heckmann, Reinhold %D 1991 %J Sci. Comput. Program. %K %N 1-3 %P 77-117 %T Power Domain Constructions. %U http://dblp.uni-trier.de/db/journals/scp/scp17.html#Heckmann91 %V 17

@article{journals/scp/Heckmann91, added-at = {2023-12-12T23:12:13.000+0100}, author = {Heckmann, Reinhold}, biburl = {https://www.bibsonomy.org/bibtex/21e5fb1a7375870f22977e0dd7074bda6/admin}, ee = {http://dx.doi.org/10.1016/0167-6423(91)90037-X}, interhash = {53323568bd3ee7223782b8d3005ba7a5}, intrahash = {1e5fb1a7375870f22977e0dd7074bda6}, journal = {Sci. Comput. Program.}, keywords = {}, number = {1-3}, pages = {77-117}, timestamp = {2023-12-12T23:12:13.000+0100}, title = {Power Domain Constructions.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp17.html#Heckmann91}, volume = 17, year = 1991 }