TY  - CONF

T1  - Verification of Timed Erlang/OTP Components Using the Process Algebra mu CRL

JO  - ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP

PY  - 2007/01/01

AU  - Guo Q

AU  - Derrick J

ED  - 

SP  - 55

EP  - 64

Y2  - 2024/12/22

ER  -