%0 Journal Article %1 journals/corr/abs-1303-2201 %A D'Osualdo, Emanuele %A Kochems, Jonathan %A Ong, C.-H. Luke %D 2013 %J CoRR %K %T Automatic Verification of Erlang-Style Concurrency %U http://dblp.uni-trier.de/db/journals/corr/corr1303.html#abs-1303-2201 %V abs/1303.2201

@article{journals/corr/abs-1303-2201, added-at = {2023-12-12T22:40:59.000+0100}, author = {D'Osualdo, Emanuele and Kochems, Jonathan and Ong, C.-H. Luke}, biburl = {https://www.bibsonomy.org/bibtex/28f8fc022e5eb7ace8d2b29c20fb82e84/admin}, ee = {http://arxiv.org/abs/1303.2201}, interhash = {4ce9e9613396dda9ecbc28788c0d260e}, intrahash = {8f8fc022e5eb7ace8d2b29c20fb82e84}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T22:40:59.000+0100}, title = {Automatic Verification of Erlang-Style Concurrency}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1303.html#abs-1303-2201}, volume = {abs/1303.2201}, year = 2013 }