%0 Journal Article %1 journals/fm/OkazakiS13 %A Okazaki, Hiroyuki %A Shidama, Yasunari %D 2013 %J Formalized Mathematics %K dblp %N 1 %P 33-39 %T Random Variables and Product of Probability Spaces. %U http://dblp.uni-trier.de/db/journals/fm/fm21.html#OkazakiS13 %V 21

@article{journals/fm/OkazakiS13, added-at = {2019-02-20T00:00:00.000+0100}, author = {Okazaki, Hiroyuki and Shidama, Yasunari}, biburl = {https://www.bibsonomy.org/bibtex/24904b8d100754aa47a844056b81e2c9e/dblp}, ee = {https://doi.org/10.2478/forma-2013-0003}, interhash = {34971815827fb31424e0bae5d96679c1}, intrahash = {4904b8d100754aa47a844056b81e2c9e}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 1, pages = {33-39}, timestamp = {2019-02-21T11:39:31.000+0100}, title = {Random Variables and Product of Probability Spaces.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm21.html#OkazakiS13}, volume = 21, year = 2013 }