%0 Journal Article %1 journals/pacmpl/UgawaAM17 %A Ugawa, Tomoharu %A Abe, Tatsuya %A Maeda, Toshiyuki %D 2017 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 53:1-53:26 %T Model checking copy phases of concurrent copying garbage collection with various memory models. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#UgawaAM17 %V 1

@article{journals/pacmpl/UgawaAM17, added-at = {2021-02-17T00:00:00.000+0100}, author = {Ugawa, Tomoharu and Abe, Tatsuya and Maeda, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/27ba0f70406426fee2b12904dec9c1666/dblp}, ee = {https://doi.org/10.1145/3133877}, interhash = {297c625a731d6ef3a1f640dea17ea384}, intrahash = {7ba0f70406426fee2b12904dec9c1666}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {53:1-53:26}, timestamp = {2024-04-08T09:54:29.000+0200}, title = {Model checking copy phases of concurrent copying garbage collection with various memory models.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#UgawaAM17}, volume = 1, year = 2017 }