@inproceedings{inproceedings, title  = {{Verifying Erlang telecommunication systems with the process algebra mu CRL}},

 url = {{}},

 year = {{2008}},

 month = {{1}},

 author = {{Guo Q and Derrick J and Hoch C}},

 volume = {{5048}},

 journal = {{FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008}},

 pages = {{201-217}},

 note = {{Accessed on 2024/12/22}}}