Verifying Erlang Telecommunication Systems with the Process Algebra CRL.

Qiang Guo, John Derrick, Csaba Hoch

Browse the full FORTE paper archive.