Verification of Timed Erlang OTP Components Using the Process Algebra µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield, - Qiang - Document - PDFSEARCH.IO

First Page	Meta Content
	Verification of Timed Erlang/OTP Components Using the Process Algebra µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield, Add to Reading List Document Date: 2007-10-10 14:12:27 Open Document File Size: 464,85 KB Share Result on Facebook

Verification of Timed Erlang/OTP Components Using the Process Algebra µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield,Add to Reading List