Model Checking of TTCAN Protocol Using UPPAAL.

Shuxin Liu, Noriaki Yoshiura

Browse the full ICCSA paper archive.