@incollection{D_Osualdo_2013,
    doi = {10.1007/978-3-642-38856-9_24},
    url = {https://doi.org/10.1007%2F978-3-642-38856-9_24},
    year = {2013},
    publisher = {Springer Berlin Heidelberg},
    pages = {454--476},
    author = {Emanuele D'Osualdo and Jonathan Kochems and C. -H. Luke Ong},
    title = {Automatic Verification of Erlang-Style Concurrency},
    booktitle = {Static Analysis}
}

@incollection{D_Osualdo_2013, doi = {10.1007/978-3-642-38856-9_24}, url = {https://doi.org/10.1007%2F978-3-642-38856-9_24}, year = {2013}, publisher = {Springer Berlin Heidelberg}, pages = {454--476}, author = {Emanuele D'Osualdo and Jonathan Kochems and C. -H. Luke Ong}, title = {Automatic Verification of Erlang-Style Concurrency}, booktitle = {Static Analysis} }