TY  - CONF

T1  - Verifying Erlang telecommunication systems with the process algebra mu CRL

JO  - FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008

PY  - 2008/01/01

AU  - Guo Q

AU  - Derrick J

AU  - Hoch C

ED  - Suzuki K

VL  - 5048

SP  - 201

EP  - 217

Y2  - 2025/01/13

ER  -