@inproceedings{inproceedings, title = {{Verification of Timed Erlang/OTP Components Using the Process Algebra mu CRL}}, url = {{}}, year = {{2007}}, month = {{1}}, author = {{Guo Q and Derrick J}}, journal = {{ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP}}, pages = {{55-64}}, note = {{Accessed on 2025/08/26}}}