TY  - RPRT
TI  - Automatic Verification of Erlang-Style Concurrency
AU  - Emanuele D'Osualdo
AU  - Jonathan Kochems
AU  - C. -H. Luke Ong
PY  - 2013
DO  - 10.1007/978-3-642-38856-9_24
UR  - https://arxiv.org/abs/1303.2201
ID  - 1303.2201
ER  -