@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/23}}}